colin af8e11242d fix up the rpi-specialized u-boot to actually work when deployed ... notably: ship the *correct* rpi-4-b.dtb file alongside u-boot.		2022-06-29 01:14:46 -07:00
..
config.txt	new bootpart for u-boot rpi	2022-06-28 21:10:50 -07:00
default.nix	fix up the rpi-specialized u-boot to actually work when deployed	2022-06-29 01:14:46 -07:00