NixOS on ARM/NanoPC-T4
| NanoPC-T4 | |
|---|---|
| |
| Manufacturer | FriendlyElec |
| Architecture | AArch64 |
| Bootloader | u-boot with ARM trusted boot and Rockchip Miniloader |
| Boot order | official: eMMC |
| Maintainer | tmountain |
The NanoPC-T4 is a single board computer built around the Rockchip RK3399 SoC.
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.