Bastian Köcher 6ed495cf13 raspberrypi-bootloader: Adds firmwareConfig config option ... The `firmwareConfig` option will be appended to `/boot/config.txt`.		2018-04-22 18:27:17 +03:00
..
builder_uboot.nix
builder_uboot.sh
builder.sh
raspberrypi.nix