Package systemd-boot-efi

• bootctl(1) — Control EFI firmware boot settings and manage boot loader
• loader.conf(5) — Configuration file for systemd\-boot
• systemd-bless-boot-generator(8) — Pull systemd\-bless\-boot.service into the initial boot transaction when boot counting is in effect
• systemd-bless-boot.service(8) — Mark current boot process as successful
• systemd-boot(7) — A simple UEFI boot manager
• systemd-boot-check-no-failures.service(8) — verify that the system booted up cleanly
• systemd-boot-system-token.service(8) — Generate an initial boot loader system token and random seed