pine64-pinephone: Update README for the installer
@@ -3,6 +3,50 @@ include::_support/common.inc[]
== Device-specific notes
+=== Platform Firmware
+
+It is recommended to install link:https://tow-boot.org/[Tow-Boot] to
+dedicated storage (mmcboot).
+
+Mainline U-Boot should work, but Mobile NixOS is tested with Tow-Boot.
+
+=== Installer
+
+The installer can be downloaded and flashed to an SD card.
+
+```
+ $ dd if=mobile-nixos_pine64-pinephone_installer.img of=/dev/mmcblkX bs=8M oflag=sync,direct status=progress
+```
+
+When using Tow-Boot, hold _volume down_ during boot to boot from the SD card.
+
+Follow the on-screen instructions to configure a basic system.
+
+
+== Usage notes
+
+=== LED
+
+In the default setup, the LED has been configured to show status information.
+Its colour or pattern can be used to infer the status.
+
+During boot:
+
+ * Green when the kernel initializes the LED driver
+
+At any time after Linux booted:
+
+ * The red LED will flash on panic
+
+As it does not reset the other LED colours, it may flash green/yellow rather
+than off/red. If applications customize the LED status, it may flash in other
+patterns involving red.
+
+
+'''
+
+== Advanced topics
+
=== Building a full disk image
This platform uses the `u-boot` system-type. This means that a full disk image
@@ -27,7 +71,7 @@ NixOS boot partition.
```
$ nix-build --argstr device pine64-pinephone -A build.boot-partition
- $ dd if=result/mobile-nixos-boot.img of=/dev/mmcblkXp3 bs=8M oflag=sync,direct status=progress
+ $ dd if=result/mobile-nixos-boot.img of=/dev/mmcblkXpY bs=8M oflag=sync,direct status=progress
```
=== Building U-Boot
@@ -36,22 +80,3 @@ Mobile NixOS is not managing platform firmware builds anymore.
We recommend installing link:https://tow-boot.org/[Tow-Boot] to dedicated storage
(mmcboot).
-
-=== Usage notes
-
-==== LED
-
-In the default setup, the LED has been configured to show status information.
-Its colour or pattern can be used to infer the status.
-
-During boot:
-
- * Green when the kernel initializes the LED driver
-
-At any time after Linux booted:
-
- * The red LED will flash on panic
-
-As it does not reset the other LED colours, it may flash green/yellow rather
-than off/red. If applications customize the LED status, it may flash in other
-patterns involving red.
