Oh, I didn’t mean the boot sequence section of the bios, I meant the quick boot selector. Typically there’s a key for it (F12, Del, or something else), different from what you use for entering the bios.
That being said, I’m using Grub as well, because I haven’t reinstalled it since I’ve made this discovery. Indeed it’s simpler.
Removed by mod
Oh, I didn’t mean the boot sequence section of the bios, I meant the quick boot selector. Typically there’s a key for it (F12, Del, or something else), different from what you use for entering the bios.
That being said, I’m using Grub as well, because I haven’t reinstalled it since I’ve made this discovery. Indeed it’s simpler.
Just about every UEFI-compatible BIOS has a “boot override”-key (F8, F12 etc.) that brings up a Grub-like boot-selection screen.
Removed by mod