This is how my arch box is setup. I've done it by following some page on the arch wiki [0]. There is only one binary containing the kernel itself, the kernel c

This is how my arch box is setup. I've done it by following some page on the arch wiki [0]. There is only one binary containing the kernel itself, the kernel command line and initrd that is signed and booted directly by the EFI. There's no bootloader in the grub sense. That being said, I can see how one could argue that that's "not exactly normal", in the same sense that gentoo isn't. I'm surprised this isn't more widespread, especially since most UEFI PC's I've seen have a very practical way of choosing which OS to boot. [0] https://wiki.archlinux.org/index.php/EFISTUB https://wiki.archlinux.org/index.php/EFISTUB