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