[NCLUG] Dual Booting Linux on a laptop with UEFI

[Elizabeth M.]

I have a friend who recently got a new laptop (a late 2019 HP Spectre
x360, running Windows 10) and she is trying to have it dual boot Linux
Mint alongside Windows 10. She has done the installation with a live
USB image, and it has the partition. However, it only ever boots into
Windows 10 - it doesn't present any option to boot into Linux Mint. We
think it's because the computer uses UEFI, but we aren't sure. Has
anyone had a similar problem they were able to solve?

Thanks!

Elizabeth