UEFI / BIOS

MakeWay In
HP 15 Notebook PC

Use the ‘Esc’ key then choose ‘F10’ from the subsequently displayed menu.

You can also press ‘F9’ to get into the ‘Modified Start Menu’.

Note: This laptop has ‘Insyde’ UEFI software which makes it non-trivial to dual-boot Windows 10 with Linux when ‘Secure Boot’ is enabled.