installation/guides/arm-devices: split platforms into a file per platform

also note that aarch64 live isos exist

Author: classabbyamp

book.toml

@@ -14,6 +14,7 @@ edit-url-template = "https://github.com/void-linux/void-docs/edit/master/{path}"
 "/about-this-handbook.html" = "/about/about-this-handbook.html"
 "/config/man.html" = "/config/package-documentation/man.html"
 "/config/gnupg.html" = "/config/openpgp.html#gnupg"
+"/installation/guides/arm-devices/platforms.html" = "/installation/guides/arm-devices/raspberry-pi.html"
 
 [output.latex]
 optional = true

src/SUMMARY.md

@@ -15,7 +15,10 @@
       - [Full Disk Encryption](./installation/guides/fde.md)
       - [Root on ZFS](./installation/guides/zfs.md)
       - [ARM Devices](./installation/guides/arm-devices/index.md)
-         - [Supported Platforms](./installation/guides/arm-devices/platforms.md)
+         - [Lenovo Thinkpad
+            X13s](./installation/guides/arm-devices/thinkpad-x13s.md)
+         - [Pinebook Pro](./installation/guides/arm-devices/pinebook-pro.md)
+         - [Raspberry Pi](./installation/guides/arm-devices/raspberry-pi.md)
    - [musl](./installation/musl.md)
 - [Configuration](./config/index.md)
    - [Package Documentation](./config/package-documentation/index.md)

src/installation/guides/arm-devices/index.md

@@ -11,19 +11,25 @@ on such devices can be done in several ways:
    that can be extracted to a previously prepared partition scheme; and
 - [Chroot installation](#chroot-installation): follows most of the steps
    outlined in [the chroot guide](../chroot.md).
+- [Live images](../../live-images/index.md) (for aarch64 UEFI devices only).
 
 This guide also outlines [configuration steps](#configuration) that are mostly
 specific to such devices.
 
+Platform-specific documentation is available for:
+
+- [Lenovo ThinkPad X13s](./thinkpad-x13s.md)
+- [Pinebook Pro](./pinebook-pro.md)
+- [Raspberry Pi](./raspberry-pi.md)
+
 Since most of the commands in this guide will be run on external storage, it is
 important to run [sync(1)](https://man.voidlinux.org/sync.1) before removing the
 device.
 
 ## Installation
 
-If you are installing Void Linux on one of the ARM devices covered in the
-"[Supported platforms](./platforms.md)" page, make sure to read its section
-thoroughly.
+If you are installing Void Linux on one of the officially supported ARM devices,
+make sure to read its page thoroughly.
 
 ### Pre-built images
 
@@ -103,9 +109,8 @@ using [tar(1)](https://man.voidlinux.org/tar.1):
 #### Chroot installation
 
 It is also possible to perform a [chroot installation](../chroot.md) using the
-appropriate architecture and base packages, some of which are listed in the
-"[Supported Platforms](./platforms.md)" section. Make sure to [prepare your
-storage medium](#custom-partition-layout) properly for the device.
+appropriate architecture and base packages. Make sure to [prepare your storage
+medium](#custom-partition-layout) properly for the device.
 
 If doing this from a computer with an incompatible archtecture (such as x86_64),
 install `binfmt-support`, enable the `binfmt-support` service, and install the

src/installation/live-images/index.md

@@ -7,6 +7,10 @@ function properly.
 
 There are `x86_64` images for both `glibc` and `musl` based systems. There are
 also images for `i686`, but only `glibc` is supported for this architecture.
+Live images are provided for `aarch64` in both `glibc` and `musl` variants, but
+they only support UEFI-capable devices. Live images for `aarch64` do not support
+`void-installer`.
+
 Live installers are not provided for other architectures. Users of other
 architectures will need to use rootfs tarballs, or perform an installation
 manually.