systemd-efi-boot-generator(category22-scripting.html) - phpMan