/nixos/modules/system/boot/loader/raspberrypi/
../
builder.sh
raspberrypi.nix