===================================================================
RCS file: /cvsrepo/anoncvs/cvs/www/arm64.html,v
retrieving revision 1.29
retrieving revision 1.30
diff -c -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,47 ****
  <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.
  
  <p>
  The install media includes firmware required to boot the Pine 64/64+
! and Raspberry Pi.
  
  <p>
  The Raspberry Pi 3 requires closed but redistributable files on the
--- 37,47 ----
  <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/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.
  
  <p>
  The Raspberry Pi 3 requires closed but redistributable files on the
***************
*** 61,66 ****
--- 61,73 ----
  </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,107 ****
  		<li>Lenovo ThinkSystem HR330A
  		<li>Lenovo ThinkSystem HR350A
  	</ul>
! 	<li>Broadcom BCM2837
  	<ul>
  		<li>Raspberry Pi 3
  	</ul>
  	<li>Marvell ARMADA 7K/8K
  	<ul>
--- 106,115 ----
  		<li>Lenovo ThinkSystem HR330A
  		<li>Lenovo ThinkSystem HR350A
  	</ul>
! 	<li>Broadcom BCM2837/BCM2711
  	<ul>
  		<li>Raspberry Pi 3
+ 		<li>Raspberry Pi 4
  	</ul>
  	<li>Marvell ARMADA 7K/8K
  	<ul>
***************
*** 111,116 ****
--- 119,125 ----
  	<ul>
  		<li>Pine64 ROCK64
  		<li>Pine64 ROCKPro64
+ 		<li>Pinebook Pro
  		<li>Firefly-RK3399
  		<li>FriendlyElec NanoPC-T4
  		<li>Theobroma Systems RK3399-Q7
***************
*** 129,134 ****
--- 138,145 ----
  
  <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,165 ****
  	<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
  </ul>
  
  <strong>No real time clock:</strong> Many of the arm64 devices do not have a
--- 169,176 ----
  	<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, 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,182 ****
--- 188,197 ----
  <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>