NixOS on ARM/PINE64 Pinebook Pro
|Manufacturer||PINE64 (Pine Microsystems Inc.)|
|Boot order||SPI, eMMC, SD|
The Pinebook Pro is a laptop design based on the Rockchip RK3399 SoC.
It can boot from SD or from an included and replaceable eMMC module.
Initial support information can be found different WIP repositories:
There is more information in the respective READMEs, but the gist of it is that those repositories can be used to build a system image either through cross-compilation or native aarch64-linux build, with the usual caveats.
The repositories also serve as an overlay that can be used in your system configuration thereafter.
Board-specific installation notes
- The keyboard may not send input when pressing mod4(pine key)+cursor combinations. This issue is resolved using the revised keyboard firmware.