mirror of
https://github.com/NixOS/nixpkgs.git
synced 2025-11-10 17:54:53 +01:00
a6e61a1ea9
The whole option set was recommended against since mid-2019, and never worked with the Raspberry Pi 4 family of devices. We should have deprecated it in early 2020 for removal by 2021. At the time I did not feel confident in making such a decision, and never ended-up getting around to it. The ***only*** supported-by-NixOS boot methods for AArch64 are standards-based boot methods, namely UEFI or the pragmatically almost-standard extlinux-compatible for U-Boot. You can quote me on that. |
||
|---|---|---|
| .. | ||
| raspberrypi-builder.nix | ||
| raspberrypi-builder.sh | ||
| raspberrypi.nix | ||
| uboot-builder.nix | ||
| uboot-builder.sh | ||