NixOS on ARM/PINE64 Pinebook Pro: Difference between revisions

imported>Fabaff
m Fix link
m fix link pinebook 1080p
 
(3 intermediate revisions by 3 users not shown)
Line 19: Line 19:
|-
|-
!Maintainer
!Maintainer
|[[User:samueldr|samueldr]]
|
|}
|}
</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/samueldr/wip-pinebook-pro
* https://github.com/Thra11/nixpkgs-overlays-rk3399
* https://github.com/Thra11/nixpkgs-overlays-rk3399


Line 43: Line 42:


# [https://tow-boot.org/devices/pine64-pinebookPro.html Install the board-specific TowBoot to SPI]
# [https://tow-boot.org/devices/pine64-pinebookPro.html Install the board-specific TowBoot to SPI]
# [https://hydra.nixos.org/job/nixos/release-21.11/nixos.sd_image.aarch64-linux get the generic aarch64 sd-image and boot from it]
# [[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
# Just follow the normal installation procedure


== Serial console==
== Serial console==


Details about the pinout for the headphone jack are available [https://wiki.pine64.org/index.php/1080P_Pinebook_Main_Page#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.
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 ==