From 56809436a9409a770239801f8778e9ca1ca7f514 Mon Sep 17 00:00:00 2001 From: classabbyamp Date: Sat, 18 Nov 2023 15:47:55 -0500 Subject: [PATCH] installation/guides/arm-devices/platforms: mention RPi5 support also remove the usb boot section, as it should not be necessary as of void-linux/void-mklive#361 because partition UUIDs are now used instead of device paths. --- src/installation/guides/arm-devices/platforms.md | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/src/installation/guides/arm-devices/platforms.md b/src/installation/guides/arm-devices/platforms.md index 8d4429747..57693c27c 100644 --- a/src/installation/guides/arm-devices/platforms.md +++ b/src/installation/guides/arm-devices/platforms.md @@ -12,7 +12,7 @@ packages should be installed if you want to use any DKMS packages. Void ships functionality. The [command line](../../../config/kernel.md#cmdline) parameters passed to the -kernel are in the `rootfs/boot/cmdline.txt` file. Some of the relevant +kernel are in the `/boot/cmdline.txt` file. Some of the relevant parameters are documented in the [official documentation](https://www.raspberrypi.org/documentation/configuration/cmdline-txt.md). @@ -22,19 +22,19 @@ documentation](https://www.raspberrypi.org/documentation/configuration/cmdline-t |---------------------------------------------|--------------| | 1 A, 1 B, 1 A+, 1 B+, Zero, Zero W, Zero WH | armv6l | | 2 B | armv7l | -| 3 B, 3 A+, 3 B+, Zero 2W, 4 B, 400 | aarch64 | +| 3 B, 3 A+, 3 B+, Zero 2W, 4 B, 400, CM4, 5 | aarch64 | > It is possible to run the armv7l images on an RPi 3, as the RPi 3's CPU > supports both the Armv8 and Armv7 instruction sets. The difference between > 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 +### Raspberry Pi 5 Kernel -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`. +The `rpi5-kernel` and `rpi5-kernel-headers` packages provide a kernel and +headers optimized for the Raspberry Pi 5 with 16KB pages. To switch from the +generic `rpi-kernel`, install `rpi5-kernel`. This will remove `rpi-kernel` and +replace it with `rpi5-kernel`. ### Enabling hardware RNG device