NixOS on ARM/Orange Pi 5
The Orange Pi 5 is a Single-Board Computer with a Rockchip RK3588s SoC.
| Orange Pi 5 | |
|---|---|
| Manufacturer | Orange Pi |
| Architecture | AArch64 |
| Bootloader | vendor's u-boot |
| Startup order | SPI NOR Flash, SD, NVMe |
| Maintainer | ryan4yin |
System configuration
None of the basic components (Kernel, HW acceleration drivers) are available from upstream NixOS.
Building a working system requires additional configuration.
@ryan4yin's flake
A minimal flake that make NixOS running on Orange Pi 5: https://github.com/ryan4yin/nixos-rk3588
The basic idea is to boot from the armbian's uboot, flash it to the SPI flash first.
Then build the NixOS's rootfs with armbian's customized kernel https://github.com/armbian/linux-rockchip/tree/rk-5.10-rkr4.