/nixos/modules/system/boot/loader/
../
efi.nix
generations-dir
generic-extlinux-compatible
grub
init-script
loader.nix
raspberrypi
systemd-boot