NixOS on ARM/PINE64 Pinebook Pro: Difference between revisions
fix links |
Phanirithvij (talk | contribs) m fix link pinebook 1080p |
||
(One intermediate revision by one other user not shown) | |||
Line 19: | Line 19: | ||
|- | |- | ||
!Maintainer | !Maintainer | ||
| | | | ||
|} | |} | ||
</div> | </div> | ||
Line 33: | Line 33: | ||
You can also consider looking at previous work: | You can also consider looking at previous work: | ||
* https://github.com/Thra11/nixpkgs-overlays-rk3399 | * https://github.com/Thra11/nixpkgs-overlays-rk3399 | ||
Line 48: | Line 47: | ||
== Serial console== | == Serial console== | ||
Details about the pinout for the headphone jack are available [https://wiki.pine64.org/ | 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 == | == Compatibility notes == |
Latest revision as of 10:08, 15 September 2024
PINEBOOK Pro | |
---|---|
Manufacturer | PINE64 (Pine Microsystems Inc.) |
Architecture | AArch64 |
Bootloader | U-Boot[1] |
Boot order | SPI, eMMC, SD |
Maintainer |
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 nixos-hardware. A README with more information can be found into the specific device folder.
You can also consider looking at previous work:
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
- Install the board-specific TowBoot to SPI
- 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 on the PINE64 wiki. It is 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 revised keyboard firmware.
Resources
- ↑ Mainline patch: https://patchwork.ozlabs.org/patch/1194525/