Nick Cao 68e6a47ce7 uboot: 2023.04 -> 2023.07.02		2023-07-12 09:09:12 +08: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
default.nix	uboot: 2023.04 -> 2023.07.02	2023-07-12 09:09:12 +08:00