[TingPing]

You absolutely don't need grub, you can use efibootmgr to manually edit the entries, or just use bootctl install.

[morsch]

Thanks, I will check them out.