===================================================================
RCS file: /cvsrepo/anoncvs/cvs/www/arm64.html,v
retrieving revision 1.32
retrieving revision 1.33
diff -u -r1.32 -r1.33
--- www/arm64.html	2020/05/19 02:02:10	1.32
+++ www/arm64.html	2020/08/06 10:48:45	1.33
@@ -47,9 +47,7 @@
 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.
-These files are present in the install media but there is no driver
-for SD/MMC yet so a USB disk drive and manual steps are required.  To
-load the firmware off the SD card and have the root disk on USB after
+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
 expires and instruct U-Boot to prefer USB over the SD card:
 
@@ -63,8 +61,8 @@
 <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.
-As with the Raspberry Pi 3, there is no SD/MMC driver yet, but there are
-no manual steps needed to boot from a USB disk drive.
+There is no SD/MMC driver yet, but there are no manual steps needed to
+boot from a USB disk drive.
 
 <p>
 Ampere eMAG and AMD Opteron systems come with a UEFI firmware in ROM
@@ -153,6 +151,8 @@
 <ul>
 	<li><a href="https://man.openbsd.org/arm64/ahci.4">ahci(4)</a>
 	  on AMD Opteron A1100, Ampere eMAG, Marvell 7K/8K and SynQuacer-E
+	<li><a href="https://man.openbsd.org/arm64/bcmsdhost.4">bcmsdhost(4)</a>
+	  on Raspberry Pi 3
 	<li><a href="https://man.openbsd.org/arm64/dwmmc.4">dwmmc(4)</a>
 	  on Rockchip RK3328/RK3399
 	<li><a href="https://man.openbsd.org/arm64/sdhc.4">sdhc(4)</a>