nixpkgs/pkgs/misc/uboot
2021-01-11 15:26:17 +01:00
..
0001-configs-rpi-allow-for-bigger-kernels.patch uboot: fix rpi kernel size patch for 2020.10 2021-01-11 15:26:17 +01:00
default.nix uboot: allow bigger kernels to boot on raspberry pi (#108975) 2021-01-11 02:41:26 +01:00