Jacek Galowicz 32aa10f097 ubootTools: Fix after update of uboot to 2022.07		2022-08-21 17:26:40 +02:00
..
0001-configs-rpi-allow-for-bigger-kernels.patch	u-boot: embiggen RPi kernel allocation again, again	2022-05-26 19:37:45 +03:00
0001-rpi-Copy-properties-from-firmware-dtb-to-the-loaded-.patch
default.nix	ubootTools: Fix after update of uboot to 2022.07	2022-08-21 17:26:40 +02:00