MyNixOS website logo
option

boot.loader.systemd-boot.extraFiles

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"; }