/nixos/modules/system/boot/loader/
../
efi.nix
generations-dir
grub
gummiboot
init-script
raspberrypi