NixOS on ARM/Radxa ROCK5 Model B
| Radxa ROCK5 Model B | |
|---|---|
| Manufacturer | Radxa |
| Architecture | AArch64 |
| Platform firmware | Vendor BSP |
| Startup order | SPI NOR Flash, eMMC, SD |
| Maintainer | |
The Radxa ROCK5 Model B is a Single-Board Computer with a Rockchip RK3588 SoC.
Support of this system is YMMV (your mileage may vary), and depends on vendor-provided BSP (Board Support Package) based components.
Platform firmware
Repo for building Platform Firmware: https://github.com/samueldr/Tow-Boot/tree/wip/rock5-vendor
To build:
nix-build -A radxa-rock5b
Flash result to installation media (sd or mmc)
System configuration
None of the basic components (Platform Firmware, Kernel) are available from upstream NixOS.
Building a working system requires additional configuration.
@aciceri's flake
Nix flake for building OS image: https://github.com/aciceri/rock5b-nixos
To build:
nix-build
Flash result to a new second legacy bootable ext4 partition on the installation media
Boot into system
sudo nixos-rebuild switch --flake github:jonahbron/config/aciceri-rebooted-into-this#rock5b