NixOS on ARM/PINE64 Pinebook Pro: Difference between revisions

(5 intermediate revisions by 5 users not shown)

Line 19:

|-

!Maintainer

|~~[[User:samueldr|samueldr]]~~

|

|}

</div>

Line 31:

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.

~~Also~~ consider:

You can also consider looking at previous work:

* https://github.com/samueldr/wip-pinebook-pro

* https://github.com/Thra11/nixpkgs-overlays-rk3399

Line 42:

Line 41:

== Board-specific installation notes ==

~~{{expansion}}~~

# [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/~~index.php~~/~~1080P_Pinebook_Main_Page~~#Pinebook_Schematics_and_Certifications on the PINE64 wiki]. It is [https://~~store.~~pine64.~~org~~/?product=pinebook-~~serial~~-~~console~~ 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 ==

@@ Line 19: / Line 19: @@
 |-
 !Maintainer
-|[[User:samueldr|samueldr]]
+|
 |}
 </div>
@@ Line 31: / Line 31: @@
 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.
-Also consider:
+You can also consider looking at previous work:
-* https://github.com/samueldr/wip-pinebook-pro
 * https://github.com/Thra11/nixpkgs-overlays-rk3399
@@ Line 42: / Line 41: @@
 == Board-specific installation notes ==
-{{expansion}}
+# [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/index.php/1080P_Pinebook_Main_Page#Pinebook_Schematics_and_Certifications on the PINE64 wiki]. It is [https://store.pine64.org/?product=pinebook-serial-console 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 ==