takov751 1c7579605b uboot: 2022.10 -> 2023.01		2023-04-24 10:26:28 +00:00
..
0001-configs-rpi-allow-for-bigger-kernels.patch
0001-rpi-Copy-properties-from-firmware-dtb-to-the-loaded-.patch
default.nix	uboot: 2022.10 -> 2023.01	2023-04-24 10:26:28 +00:00