-
×InformationNeed Windows 11 help?Check documents on compatibility, FAQs, upgrade information and available fixes.
Windows 11 Support Center. -
-
×InformationNeed Windows 11 help?Check documents on compatibility, FAQs, upgrade information and available fixes.
Windows 11 Support Center. -
- HP Community
- Notebooks
- Notebook Boot and Lockup
- Select System at Boot

Create an account on the HP Community to personalize your profile and ask a question
10-10-2019 08:41 AM
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
10-10-2019 04:48 PM
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: http://forums.linuxmint.com/index.php?sid=e1d864fe510e562a3fca15f38c93b95a
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
I am a volunteer and I do not work for, nor represent, HP