NixOS on ARM/NanoPC-T4
The NanoPC-T4 is a single board computer built around the Rockchip RK3399 SoC.
| NanoPC-T4 | |
|---|---|
| |
| Manufacturer | FriendlyElec |
| Architecture | AArch64 |
| Bootloader | u-boot with ARM trusted boot and Rockchip Miniloader |
| Boot order | official: eMMC |
| Maintainer | tmountain |
The board boots NixOS from eMMC and will also load NixOS via its integrated microSD reader.
The official documentation, which is comprehensive, can be found on the FriendlyElec wiki.
U-Boot for this board is not entirely open, incorporating a binary blob for the tertiary program loader (TPL). Compilation instructions are featured in section 15.7 of the FriendlyElec wiki, and a build target is also provided in upstream u-boot (nanopc-t4-rk3399_defconfig).
Pre-built u-boot images are available here.