diff --git a/src/installation/guides/arm-devices/index.md b/src/installation/guides/arm-devices/index.md
index e5c30e264..d5f3f00e4 100644
--- a/src/installation/guides/arm-devices/index.md
+++ b/src/installation/guides/arm-devices/index.md
@@ -27,9 +27,9 @@ thoroughly.
 
 ### Pre-built images
 
-After [downloading and verifying](../../index.md#downloading-installation-media)
-an image, it can be written to the relevant media with
-[cat(1)](https://man.voidlinux.org/cat.1),
+The pre-built images provided are prepared for 2GB SD cards. After [downloading
+and verifying](../../index.md#downloading-installation-media) an image, it can
+be written to the relevant media with [cat(1)](https://man.voidlinux.org/cat.1),
 [pv(1)](https://man.voidlinux.org/pv.1), or
 [dd(1)](https://man.voidlinux.org/dd.1). For example, to flash it onto an SD
 card located at `/dev/mmcblk0`:
@@ -38,6 +38,12 @@ card located at `/dev/mmcblk0`:
 # dd if=<image>.img of=/dev/mmcblk0 bs=4M status=progress
 ```
 
+After flashing, the root partition can optionally be expanded to fit the storage
+device with [cfdisk(8)](https://man.voidlinux.org/cfdisk.8),
+[fdisk(8)](https://man.voidlinux.org/fdisk.8), or another partitioning tool, and
+the filesystem can be resized to fit the expanded partition with
+[resize2fs(8)](https://man.voidlinux.org/resize2fs.8).
+
 ### Custom partition layout
 
 Customizing an installation - for example, with a custom partition layout -
diff --git a/src/installation/guides/arm-devices/platforms.md b/src/installation/guides/arm-devices/platforms.md
index 45150d4a6..8906e19e7 100644
--- a/src/installation/guides/arm-devices/platforms.md
+++ b/src/installation/guides/arm-devices/platforms.md
@@ -29,6 +29,13 @@ documentation](https://www.raspberrypi.org/documentation/configuration/cmdline-t
 > these images is that the armv7l image provides a 32-bit system while the
 > aarch64 image provides a 64-bit system.
 
+### USB mass storage boot on Raspberry Pi 4
+
+To boot an RPi 4 from a USB mass storage device, the [install process is the
+same](./index.md), but after installation, the USB drive needs to be mounted on
+the host and the `root=` argument in `/boot/cmdline.txt` needs to be changed to,
+for example, `root=/dev/sda2`.
+
 ### Enabling hardware RNG device
 
 By default, the