You're viewing a single thread.
With UEFI bios you no longer need a boot menu like Grub for choosing an OS to boot. You can just use the boot menu of the bios.
(You still need Grub for booting Linux, but no need to show it for long seconds just so you can select Windows from it, if for some reason you have a Windows installed too.)
I personally find it easier to use my bootloader's menu (I use systemd-boot instead of GRUB) to decide what to boot into. It's a lot simpler than clicking through to the boot submenu in my BIOS.
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.
Yeah, it's DEL on mine.
I just prefer to use systemd-boot's menu.
You don’t even need grub to boot Linux; the kernel can be its own bootloader.