mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-11-16 23:03:40 +01:00
b0f99ad527
Provide a (yet unmerged) patch that allows NixOS to boot correctly on new Pi4 boards using the BCM2711C0 SoC. Revert this when the patch is available in mainline U-Boot. Co-authored-by: Samuel Dionne-Riel <samuel@dionne-riel.com> |
||
---|---|---|
.. | ||
0001-configs-rpi-allow-for-bigger-kernels.patch | ||
0001-rpi-Copy-properties-from-firmware-dtb-to-the-loaded-.patch | ||
default.nix |