NixOS on ARM/PINE64 Pinebook Pro: Difference between revisions

From NixOS Wiki
imported>Samueldr
mNo edit summary
imported>Samueldr
m →‎Status: Add Thra11's work
Line 29: Line 29:
== Status ==
== Status ==


Initial support information can be found on the WIP repository of the maintainer.
Initial support information can be found different WIP repositories:


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


There is more information in the README, but the gist of it is that this repository can be used to build a system image either through cross-compilation or native aarch64-linux build, with the usual caveats. The repository also serves as an overlay that can be used in your system configuration thereafter.
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 ==
== Board-specific installation notes ==

Revision as of 22:51, 7 January 2020

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

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

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

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

Resources