NixOS on ARM/Libre Computer ROC-RK3399-PC

From NixOS Wiki
Libre Computer ROC-RK3399-PC
An ROC-RK3399-PC.
Manufacturer Firefly for Libre Computer
Architecture AArch64
Bootloader Upstream U-Boot
Boot order SPI, eMMC, SD

An SBC design based on the Rockchip RK3399 SoC by Libre Computer.


Installation instructions

You can use nixos-aarch64-images to get an rock64 compatible disk image or running the commands manually. It is currently untested but should work. Please report back if it does.

Serial console

Follows a simplified drawing of the board. The location for serial has been highlighted to the top right.

Compatibility notes