Comment by rustqt6

So I've mostly learnt from you but it's also possible I'm right here so I'd say- you can very well boot into firmware from bootloaders too. Systemd-boot has one default entry on my installation and I believer grub allows u too. Gonna actually go lookup grub because I need that entry