A set of files to be copied to $BOOT. Each attribute name denotes the destination file name in $BOOT, while the corresponding attribute value specifies the source file.
Declarations
Type
attribute set of path
Default
{ }
Example
{ "efi/memtest86/memtest.efi" = "${pkgs.memtest86plus}/memtest.efi"; }