nixpkgs-odroid-hc4/pkgs/misc/uboot
2025-12-20 09:59:59 +11:00
..
0001-configs-rpi-allow-for-bigger-kernels.patch uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
0001-rpi-Copy-properties-from-firmware-dtb-to-the-loaded-.patch uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
default.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00
hardkernel-firmware.nix uboot: (firmwareOdroidC2/C4) don't invoke patch tool, use patches = [] instead 2025-12-20 09:59:59 +11:00