Als Alternative bietet sich der schlanke Boot-­Manager von Systemd an (Systemd-Boot), der früher eigenständig un­ter dem Namen „Gummiboot“ entwickelt wurde. GRUB2 stammt aus einer Zeit ...