===================================================================
RCS file: /cvsrepo/anoncvs/cvs/www/arm64.html,v
retrieving revision 1.24
retrieving revision 1.25
diff -u -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,9 +35,9 @@
 <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.
+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,13 +61,13 @@
 </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.
+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>
-All other machines that lack UEFI firmware require additional steps to
-create bootable install media.  See the
+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,6 +89,15 @@
 		<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,8 +121,12 @@
 
 <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.
+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,12 +143,12 @@
 <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
+	  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/dwmmc.4">sdhc(4)</a>
+	<li><a href="https://man.openbsd.org/arm64/sdhc.4">sdhc(4)</a>
 	  on Rockchip RK3399
-	<li><a href="https://man.openbsd.org/arm64/dwmmc.4">sximmc(4)</a>
+	<li><a href="https://man.openbsd.org/arm64/sximmc.4">sximmc(4)</a>
 	  on Allwinner A64/H5
 </ul>
 
@@ -146,7 +159,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 Rockchip RK3399, OverDrive 1000 and SynQuacer-E
+	  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