View source for NixOS on ARM/PINE64 Pinebook Pro

{{ARM/breadcrumb}}
<div class="infobox">
{|class="table"
!colspan="2" class="title"|PINEBOOK Pro
|-
|colspan="2"|[[File:Pinebook-Pro-glamour.jpg|frameless|256px|A Pinebook Pro.]]
|-
!Manufacturer
|PINE64 (Pine Microsystems Inc.)
|-
!Architecture
|AArch64
|-
!Bootloader
|U-Boot<ref>Mainline patch: https://patchwork.ozlabs.org/patch/1194525/</ref>
|-
!Boot order
|SPI, eMMC, SD
|-
!Maintainer
|
|}
</div>

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.

== Status ==

Hardware support is partially complete and can be achieved using the overlay provided by [https://github.com/NixOS/nixos-hardware nixos-hardware]. A [https://github.com/NixOS/nixos-hardware/blob/master/pine64/pinebook-pro/README.md README] with more information can be found into the specific device folder.

You can also consider looking at previous work:

* 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 ==

# [https://tow-boot.org/devices/pine64-pinebookPro.html Install the board-specific TowBoot to SPI]
# [[NixOS_on_ARM#SD_card_images_(SBCs_and_similar_platforms) | Get the generic aarch64 sd-image and boot from it]]
# Just follow the normal installation procedure

== Serial console==

Details about the pinout for the headphone jack are available [https://wiki.pine64.org/wiki/Pinebook#Pinebook_Schematics_and_Certifications on the PINE64 wiki]. It is [https://pine64.com/product/14%e2%80%b3-pinebook-pro-linux-laptop-ansi-us-keyboard/ also available on their store]. The serial settings are the usual Rockchip settings.

== Compatibility notes ==
* The keyboard may not send input when pressing mod4(pine key)+cursor combinations. This issue is resolved using the [https://github.com/jackhumbert/pinebook-pro-keyboard-updater.git revised keyboard firmware].

{{expansion}}

== Resources ==

* [https://www.pine64.org/pinebook-pro/ Official product page]
* [https://wiki.pine64.org/index.php?title=Pinebook_Pro Pinebook Pro @ Pine64 Wiki]