Showing results for 
Search instead for 
Did you mean: 
New member
4 1 0 0
Message 1 of 2
Flag Post
HP Recommended

Select System at Boot

Hp envy 15 ae107nl
Microsoft Windows 10 (64-bit)

Hello there !

I have on my pc one HDD and 1 SSD. I have Windows 10 Pro installed on the SSD and I have recently Installed Linux Mint on the HDD.

When I go to the BIOS for change the boot and set the boot from the HDD I don't found this item in the menù, there is only the element System OS.

When I start Linux I must press Esc to enter in menu, i must press f9 to enter in another menu where I can choose SSD or HDD and then I can view the GRUB window and select Linux Mint.

It's so boring do all of this every day !

There is a solution to start GRUB first??

I have not found any solution on web!

I have found a forum which said it was an exclusive problem for the hp

Thanks in advance for your reply


Level 15
Level 15
18,867 18,809 1,757 4,156
Message 2 of 2
Flag Post
HP Recommended

Select System at Boot


Sounds like you did not install Linux correctly because if you had, it would boot into a menu that shows both Linux and Windows as startup options.


I'm sorry, but we here are not equipped to provide detailed Linux support.

HP only warranties their PCs for usage with the OS that comes preinstalled. IF you replace that with Linux, or add a Linux OS, then you assume full responsibility for maintaining that -- as HP provides Linux assistance only on Redhat and then only to commercial customers.

The primary "challenge" to using Linux on any HP PC is the availability of Linux drivers. Any hardware that does not work will then range from simple (if there are Linux drivers available) to impossible (if there are NO Linux drivers available) to fix.

Since HP does not provide Linux drivers, your best bet for Linux support is to contact the support forum for the Linux distro you are using -- in this case, the Linux Mint Forums:

Folks on Linux support forums have experience using a variety of machines with Linux and know a lot about driver and installation issues. You will be able to get sound and detailed help there.

Good Luck

***If my post helped, click the White thumbs-up symbol to say thanks***

***Please mark Accept As Solution if my post solved your problem***

I am a volunteer and I do not work for, nor represent, HP
0 Kudos
† The opinions expressed above are the personal opinions of the authors, not of HP. By using this site, you accept the Terms of Use and Rules of Participation