NixOS on ARM/Orange Pi 5: Difference between revisions
imported>Ryan4yin No edit summary |
imported>Ryan4yin No edit summary |
||
| Line 31: | Line 31: | ||
=== @ryan4yin's flake === | === @ryan4yin's flake === | ||
A minimal NixOS | 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. | 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. | Then build the NixOS's rootfs with armbian's customized kernel https://github.com/armbian/linux-rockchip/tree/rk-5.10-rkr4. | ||
Revision as of 20:04, 5 June 2023
| Orange Pi 5 | |
|---|---|
| Manufacturer | Orange Pi |
| Architecture | AArch64 |
| Bootloader | vendor's u-boot |
| Startup order | SPI NOR Flash, SD, NVMe |
| Maintainer | ryan4yin |
The Orange Pi 5 is a Single-Board Computer with a Rockchip RK3588s SoC.
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.