colin 0aa0334465 new bootpart for u-boot rpi ... this needs some tweaking: it doesn't package the right dtb file. it packages the dtb for the linux kernels, whereas we want dtbs to be consumed by u-boot.		2022-06-28 21:10:50 -07:00
..
config.txt	new bootpart for u-boot rpi	2022-06-28 21:10:50 -07:00
default.nix	new bootpart for u-boot rpi	2022-06-28 21:10:50 -07:00