• ×
    Information
    Need Windows 11 help?
    Check documents on compatibility, FAQs, upgrade information and available fixes.
    Windows 11 Support Center.
  • post a message
  • ×
    Information
    Need Windows 11 help?
    Check documents on compatibility, FAQs, upgrade information and available fixes.
    Windows 11 Support Center.
  • post a message
Guidelines
Are you having HotKey issues? Click here for tips and tricks.
HP Recommended
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

 

1 REPLY 1
HP Recommended

@Timmy24 

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
† The opinions expressed above are the personal opinions of the authors, not of HP. By using this site, you accept the <a href="https://www8.hp.com/us/en/terms-of-use.html" class="udrlinesmall">Terms of Use</a> and <a href="/t5/custom/page/page-id/hp.rulespage" class="udrlinesmall"> Rules of Participation</a>.