NixOS on ARM/PINE64 Pinebook Pro: Difference between revisions

imported>Thra11
Board-specific installation notes: Link to the SD Image section of the NixOS on ARM wiki page, so the link doesn't get out of date and need updating each release
m fix link pinebook 1080p
 
(2 intermediate revisions by 2 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://nixos.wiki/wiki/NixOS_on_ARM#SD_card_images_.28SBCs_and_similar_platforms.29 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 ==