===================================================================
RCS file: /cvsrepo/anoncvs/cvs/www/arm64.html,v
retrieving revision 1.39
retrieving revision 1.40
diff -u -r1.39 -r1.40
--- www/arm64.html	2021/03/07 11:08:10	1.39
+++ www/arm64.html	2021/04/30 15:31:57	1.40
@@ -40,15 +40,16 @@
 Broadcom BCM2837/BCM2711 (Raspberry Pi 3/4) and Socionext SCA11.
 
 <p>
-The install media includes firmware required to boot the Pine 64/64+
-and Raspberry Pi 3.
+The install media includes firmware required to boot the Pine 64/64+,
+Raspberry Pi 3 and Raspberry Pi 4.
 
 <p>
-The Raspberry Pi 3 requires closed but redistributable files on the
-system disk to load into the VC4 GPU which starts the ARM cores.  By
-default the boot ROM will only try to load these files off an SD card.
+The Raspberry Pi boards require closed but redistributable files on the
+system disk to load into the VC4 GPU which starts the ARM cores.
+By default the boot ROM on Raspberry Pi 3 and older versions on
+Raspberry Pi 4 will only try to load these files off an SD card.
 To load the firmware off the SD card and have the root disk on USB after
-installing OpenBSD reboot and interrupt U-Boot before the timeout
+installing OpenBSD, reboot and interrupt U-Boot before the timeout
 expires and instruct U-Boot to prefer USB over the SD card:
 
 <pre class="cmdbox">
@@ -59,10 +60,11 @@
 </pre>
 
 <p>
-The Raspberry Pi 4 is only supported when using EDK2-based UEFI
-firmware.  By default the boot ROM will only try to load the firmware
-off an SD card.  No manual steps needed to boot from a USB disk drive
-as the UEFI prefers booting from USB over booting from SD card.
+Some Raspberry Pi models that do not work with the included U-Boot
+(e.g. Raspberry Pi 400) can instead be booted using
+<a href="https://github.com/pftf/RPi4">EDK2-based UEFI firmware</a>.
+The simplest way to use this is to install the firmware on an SD
+card and install the OS on USB.
 
 <p>
 Ampere eMAG and AMD Opteron systems come with a UEFI firmware in ROM
@@ -109,7 +111,10 @@
 	<li>Broadcom BCM2837/BCM2711
 	<ul>
 		<li><a href="https://www.raspberrypi.org/products/raspberry-pi-3-model-b/">Raspberry Pi 3</a>
+		<li><a href="https://www.raspberrypi.org/products/raspberry-pi-3-model-b-plus/">Raspberry Pi 3 Model B+</a>
+			(with issues; onboard network hardware not working)
 		<li><a href="https://www.raspberrypi.org/products/raspberry-pi-4-model-b/specifications/">Raspberry Pi 4</a>
+		<li><a href="https://www.raspberrypi.org/products/raspberry-pi-400-unit/">Raspberry Pi 400</a>
 	</ul>
 	<li>Marvell ARMADA 7K/8K
 	<ul>
@@ -136,10 +141,6 @@
 firmware) is available. Both device trees and ACPI are supported.
 An updated device tree may have to be supplied to make OpenBSD usable.
 
-<p>
-Note that the Raspberry Pi 3 model B+ is not the same as the original
-Raspberry Pi 3; some important devices on the B+ are <b>not</b> supported.
-
 <h4>Ethernet</h4>
 <ul>
 	<li><a href="https://man.openbsd.org/arm64/bse.4">bse(4)</a>
@@ -157,7 +158,7 @@
 <h4>802.11 wireless</h4>
 <ul>
 	<li><a href="https://man.openbsd.org/arm64/bwfm.4">bwfm(4)</a>
-	  on Raspberry Pi 3/4 and Pinebook Pro
+	  on Raspberry Pi 3/4/400 and Pinebook Pro
 </ul>
 
 <h4>Storage</h4>