NixOS on ARM/PINE64 Pinebook Pro: Difference between revisions

(9 intermediate revisions by 9 users not shown)

Line 19:

|-

!Maintainer

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

|

|}

</div>

Line 29:

== Status ==

~~Initial~~ support information can be found ~~different WIP repositories~~:

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.

You can also consider looking at previous work:

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

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

Line 40:

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 ==

* The keyboard may not send input when pressing mod4(pine key)+cursor combinations. This issue is resolved using the [https://github.com/jackhumbert/pinebook-pro-keyboard-updater.git revised keyboard firmware].

@@ Line 19: / Line 19: @@
 |-
 !Maintainer
-|[[User:samueldr|samueldr]]
+|
 |}
 </div>
@@ Line 29: / Line 29: @@
 == Status ==
-Initial support information can be found different WIP repositories:
+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.
+You can also consider looking at previous work:
-* https://github.com/samueldr/wip-pinebook-pro
 * https://github.com/Thra11/nixpkgs-overlays-rk3399
@@ Line 40: / 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 ==
+* The keyboard may not send input when pressing mod4(pine key)+cursor combinations. This issue is resolved using the [https://github.com/jackhumbert/pinebook-pro-keyboard-updater.git revised keyboard firmware].
 {{expansion}}