systemd-efi-boot-generator(category2-linux-allgemein.html) - phpMan