NixOS on ARM/PINE64 Pinebook Pro

The Pinebook Pro is a laptop design based on the Rockchip RK3399 SoC.

PINEBOOK Pro
Manufacturer	PINE64 (Pine Microsystems Inc.)
Architecture	AArch64
Bootloader	U-Boot
Boot order	SPI, eMMC, SD
Maintainer	samueldr

It can boot from SD or from an included and replaceable eMMC module.

Status

Initial support information can be found different WIP repositories:

• https://github.com/samueldr/wip-pinebook-pro
• https://github.com/Thra11/nixpkgs-overlays-rk3399

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

This article or section needs expansion.

Reason: This article is a stub. (Discuss in Talk:NixOS on ARM/PINE64 Pinebook Pro#)
Please consult the pedia article metapage for guidelines on contributing.

Serial console

Details about the pinout for the headphone jack are available on the PINE64 wiki. It is also available on their store. The serial settings are the usual Rockchip settings.

Compatibility notes

• The keyboard does not send any input when pressing mod4(pine key)+shift+cursor combinations (as is often used to move windows in i3wm). This issue is resolved using this repo

Resources

• Official product page
• Pinebook Pro @ Pine64 Wiki