nixpkgs/pkgs/misc/uboot
2024-04-11 10:10:41 +03:00
..
0001-configs-rpi-allow-for-bigger-kernels.patch ubootRaspberryPi: embiggen, again 2024-04-01 11:18:48 +03:00
default.nix ubootTuringRK1: init 2024-04-11 10:10:41 +03:00