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