Samuel Dionne-Riel 32a9c0adc3 uboot: 2021.04 -> 2021.10		2021-10-04 20:57:55 -04:00
..
0001-configs-rpi-allow-for-bigger-kernels.patch	uboot: increase rpi kernel size patch	2021-09-29 01:41:53 -03:00
default.nix	uboot: 2021.04 -> 2021.10	2021-10-04 20:57:55 -04:00