SYSTEMD-EFI-BOOT-GENERATOR(glossar.html) - phpMan