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