K900 ff391e0f0d u-boot: embiggen RPi kernel allocation again, again		2022-05-26 19:37:45 +03: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	ubootRaspberryPi4: provide fix for C0 revisions	2021-10-04 21:22:31 -04:00
default.nix	ubootQemuRiscv64Smode: Fix build with binutils 2.38	2022-05-08 02:46:32 -07:00