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.