===================================================================
RCS file: /cvsrepo/anoncvs/cvs/www/arm64.html,v
retrieving revision 1.29
retrieving revision 1.30
diff -u -r1.29 -r1.30
--- www/arm64.html	2020/01/17 14:50:25	1.29
+++ www/arm64.html	2020/04/15 10:04:09	1.30
@@ -37,11 +37,11 @@
 <p>
 The current target platforms are Allwinner A64/H5, Amlogic G12A/B,
 AMD Opteron A1100, Ampere eMAG, Marvell ARMADA 7K/8K, Rockchip RK3328/RK3399,
-Broadcom BCM2837 (Raspberry Pi 3) and Socionext SCA11.
+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.
+and Raspberry Pi 3.
 
 <p>
 The Raspberry Pi 3 requires closed but redistributable files on the
@@ -61,6 +61,13 @@
 </pre>
 
 <p>
+The Raspberry Pi 4 is only supported when using EDK2-base 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.
+
+<p>
 Ampere eMAG and AMD Opteron systems come with a UEFI firmware in ROM
 and can boot off SATA or USB devices without board specific boot files
 on the system disk.
@@ -99,9 +106,10 @@
 		<li>Lenovo ThinkSystem HR330A
 		<li>Lenovo ThinkSystem HR350A
 	</ul>
-	<li>Broadcom BCM2837
+	<li>Broadcom BCM2837/BCM2711
 	<ul>
 		<li>Raspberry Pi 3
+		<li>Raspberry Pi 4
 	</ul>
 	<li>Marvell ARMADA 7K/8K
 	<ul>
@@ -111,6 +119,7 @@
 	<ul>
 		<li>Pine64 ROCK64
 		<li>Pine64 ROCKPro64
+		<li>Pinebook Pro
 		<li>Firefly-RK3399
 		<li>FriendlyElec NanoPC-T4
 		<li>Theobroma Systems RK3399-Q7
@@ -129,6 +138,8 @@
 
 <h4>Ethernet</h4>
 <ul>
+	<li><a href="https://man.openbsd.org/arm64/bse.4">bse(4)</a>
+	  integrated Broadcom GENET 10/100/Gigabit Ethernet on Raspberry Pi 4
 	<li><a href="https://man.openbsd.org/arm64/dwge.4">dwge(4)</a>
 	  integrated Synopsys DesignWare GMAC 10/100/Gigabit Ethernet on Rockchip RK3399
 	<li><a href="https://man.openbsd.org/arm64/dwxe.4">dwxe(4)</a>
@@ -158,8 +169,8 @@
 	<li><a href="https://man.openbsd.org/arm64/ehci.4">ehci(4)</a>
 	  on Allwinner A64/H5 and Rockchip RK3328/RK3399
 	<li><a href="https://man.openbsd.org/arm64/xhci.4">xhci(4)</a>
-	  on Amlogic G12A/B, Ampere eMAG, Rockchip RK3399, OverDrive 1000
-	  and SynQuacer-E
+	  on Amlogic G12A/B, Ampere eMAG, Overdrive 1000, Raspberry Pi
+	  4, Rockchip RK3399 and SynQuacer-E
 </ul>
 
 <strong>No real time clock:</strong> Many of the arm64 devices do not have a
@@ -177,6 +188,10 @@
 <a href="https://ftp.openbsd.org/pub/OpenBSD/6.6/arm64/INSTALL.arm64">
 OpenBSD/arm64 installation instructions</a>.
 
+<p>
+Support for Pinebook Pro and Raspberry Pi 4 was added after OpenBSD
+6.6 was released.
+  
 <p>
 Snapshots are made available from time to time, in
 <a href="https://cdn.openbsd.org/pub/OpenBSD/snapshots/arm64">this location</a>