===================================================================
RCS file: /cvsrepo/anoncvs/cvs/www/arm64.html,v
retrieving revision 1.24
retrieving revision 1.25
diff -c -r1.24 -r1.25
*** www/arm64.html	2019/06/01 22:54:16	1.24
--- www/arm64.html	2019/08/30 13:34:00	1.25
***************
*** 35,43 ****
  <h3 id="status"><strong>Current status</strong></h3>
  
  <p>
! The current target platforms are Allwinner A64/H5, AMD Opteron A1100,
! 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+
--- 35,43 ----
  <h3 id="status"><strong>Current status</strong></h3>
  
  <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+
***************
*** 61,73 ****
  </pre>
  
  <p>
! Opteron A1100 machines on the other hand come with a UEFI firmware
! that includes a device tree and can boot off SATA or USB devices without
! board specific boot files on the system disk.
  
  <p>
! All other machines that lack UEFI firmware require additional steps to
! create bootable install media.  See the
  <a href="https://ftp.openbsd.org/pub/OpenBSD/snapshots/arm64/INSTALL.arm64">
  OpenBSD/arm64 snapshot installation instructions</a> for further details.
  
--- 61,73 ----
  </pre>
  
  <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.
  
  <p>
! Most other machines load their firmware from the boot media and
! require additional steps to create bootable install media.  See the
  <a href="https://ftp.openbsd.org/pub/OpenBSD/snapshots/arm64/INSTALL.arm64">
  OpenBSD/arm64 snapshot installation instructions</a> for further details.
  
***************
*** 89,94 ****
--- 89,103 ----
  		<li>SoftIron OverDrive 1000
  		<li>SoftIron OverDrive 3000
  	</ul>
+ 	<li>Amlogic G12A/B
+ 	<ul>
+ 		<li>Hardkernel ODROID-N2
+ 	</ul>
+ 	<li>Ampere eMAG
+ 	<ul>
+ 		<li>Lenovo ThinkSystem HR330A
+ 		<li>Lenovo ThinkSystem HR350A
+ 	</ul>
  	<li>Broadcom BCM2837
  	<ul>
  		<li>Raspberry Pi 3
***************
*** 112,119 ****
  
  <p>
  In general other boards/machines that use one of the SoCs listed above
! will work as well as long as UEFI firmware (e.g. U-Boot) and a device
! tree that describes the hardware is available.
  
  <h4>Ethernet</h4>
  <ul>
--- 121,132 ----
  
  <p>
  In general other boards/machines that use one of the SoCs listed above
! will work as well as long as UEFI firmware (e.g. U-Boot or EDK II
! firmware).  Both device trees and ACPI are supported.  An updated
! device tree may have to be supplied to make OpenBSD usable.
! <p>
! Support for Amlogic G12A/B and Ampere eMAG was added after OpenBSD 6.5
! was released.
  
  <h4>Ethernet</h4>
  <ul>
***************
*** 130,141 ****
  <h4>Storage</h4>
  <ul>
  	<li><a href="https://man.openbsd.org/arm64/ahci.4">ahci(4)</a>
! 	  on AMD Opteron A1100, Marvell 7K/8K and SynQuacer-E
  	<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/dwmmc.4">sdhc(4)</a>
  	  on Rockchip RK3399
! 	<li><a href="https://man.openbsd.org/arm64/dwmmc.4">sximmc(4)</a>
  	  on Allwinner A64/H5
  </ul>
  
--- 143,154 ----
  <h4>Storage</h4>
  <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/dwmmc.4">dwmmc(4)</a>
  	  on Rockchip RK3328/RK3399
! 	<li><a href="https://man.openbsd.org/arm64/sdhc.4">sdhc(4)</a>
  	  on Rockchip RK3399
! 	<li><a href="https://man.openbsd.org/arm64/sximmc.4">sximmc(4)</a>
  	  on Allwinner A64/H5
  </ul>
  
***************
*** 146,152 ****
  	<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 Rockchip RK3399, OverDrive 1000 and SynQuacer-E
  </ul>
  
  <strong>No real time clock:</strong> Many of the arm64 devices do not have a
--- 159,166 ----
  	<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