systemd-boot-efi - 257.2-1 main

systemd-boot (short: sd-boot) is a simple UEFI boot manager. It provides a
textual menu to select the entry to boot and an editor for the kernel command
line. It supports systems with UEFI firmware only.
.
This package contains the EFI binaries.