diff --git a/pkgs/by-name/bootpart-uefi-x86_64/package.nix b/pkgs/by-name/bootpart-uefi-x86_64/package.nix index 2a3a8fb26..628bed251 100644 --- a/pkgs/by-name/bootpart-uefi-x86_64/package.nix +++ b/pkgs/by-name/bootpart-uefi-x86_64/package.nix @@ -30,6 +30,13 @@ stdenv.mkDerivation { meta = { description = "unmanaged files to place in /boot on a x86-64 extlinux system"; + longDescription = '' + provides: + - EFI/BOOT/BOOTX64.EFI: the UEFI-spec default entry, when the BIOS doesn't know about any other entries. + - EFI/syslinux/syslinux.efi: an EFI entry point one can configure the BIOS to boot, + in case there are multiple EFI entries. + use `efibootmgr` CLI tool to register this with the BIOS. + ''; platforms = [ "x86_64-linux" ]; }; }