NixOS on ARM/Radxa ROCK 4
| Radxa ROCK 4 | |
|---|---|
| |
| Manufacturer | Radxa |
| Architecture | AArch64 |
| Bootloader | U-Boot |
| Boot order | SPI NOR Flash, eMMC, SD |
| Maintainer | msgilligan |
The Radxa ROCK 4B+ is a Single-Board Computer with a Rockchip RK3399 SoC.
- CPU: ARM Cortex-A72 and Cortex-A53
- GPU: Mali-T860 MP4
- RAM: 2GB/4GB LPDDR4
- MMC: eMMC Connector for up to 128GB
- NET: 1 Gigabit Ethernet
- USB: 1x USB3 OTG/HOST Type-A, 1x USB 3 Type-A, 2x USB 2 Type-A
- PCIe: M.2 M Key M connector (4-lane PCIe 2.1) supports NVMe SSD
The nixos-rockchip SD-card images have been tested with both the ROCK 4B+ and ROCK 4 SE variants.
Status
Support of this system is YMMV (your mileage may vary).
U-Boot bootloaders are available in different variants:
The official hardware documentation can be found on the Radxa wiki.
Bootloader Firmware
U-Boot Firmware
- `nixos-rockchip` uses the mainline U-Boot repository.
- There is also support for ROCK 4 U-Boot in Nixpkgs, but testing and documentation for using this version of U-Boot is not available here yet.
System configuration
Use the instructions in the README.
Use the following command to build the Rock 4B image:
nix build .#RadxaRock4
or for the Rock 4SE:
nix build .#RadxaRock4SE
nabam/nixos-rockchip GitHub Project
nabam/nixos-rockchip is a Nix flake for building several Rockchip SBC images, including Rock 4B and Rock 4SE.