===================================================================
RCS file: /cvsrepo/anoncvs/cvs/www/arm64.html,v
retrieving revision 1.17
retrieving revision 1.18
diff -u -r1.17 -r1.18
--- www/arm64.html	2018/04/02 02:48:19	1.17
+++ www/arm64.html	2018/04/02 18:02:36	1.18
@@ -40,8 +40,8 @@
 <h3><font color="#0000e0"><strong>Current status</strong></font></h3>
 
 <p>
-The current target platforms are Rockchip RK3399, Allwinner A64/H5,
-Raspberry Pi 3 and Opteron A1100.
+The current target platforms are Rockchip RK3328/RK3399, Allwinner
+A64/H5, Raspberry Pi 3 and Opteron A1100.
 </p>
 
 <p>
@@ -84,16 +84,14 @@
 <h3><font color="#0000e0"><strong>Supported hardware</strong></font></h3>
 
 <p>
-OpenBSD/arm64 bundles various platforms sharing the 64-bit ARM
-architecture. Due to the fact that there are many System on a
-Chips (SoC) around, OpenBSD/arm64 differentiates between various
-SoCs and may have a different level of support between them.
+OpenBSD/arm64 runs on the following hardware:
 </p>
 
 <ul>
 	<li>Allwinner A64/H5
 	<ul>
-		<li>Pine 64/64+
+		<li>Pine64 Pine 64/64+
+		<li>NanoPi A64
 		<li>Orange Pi PC2
 	</ul>
 	<li>AMD Opteron A1100 (Seattle)
@@ -105,12 +103,19 @@
 	<ul>
 		<li>Raspberry Pi 3
 	</ul>
-	<li>Rockchip RK3399
+	<li>Rockchip RK3328/RK3399
 	<ul>
+		<li>Pine64 Rock64
 		<li>Firefly-RK3399
 	</ul>
 </ul>
 
+<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.
+</p>
+
 <h4>Ethernet</h4>
 <ul>
 	<li><a href="https://man.openbsd.org/?query=dwge&amp;sektion=4&amp;arch=arm64">dwge(4)</a>
@@ -128,9 +133,11 @@
 	<li><a href="https://man.openbsd.org/?query=ahci&amp;sektion=4&amp;arch=arm64">ahci(4)</a>
 	  on Opteron A1100</li>
 	<li><a href="https://man.openbsd.org/?query=dwmmc&amp;sektion=4&amp;arch=arm64">dwmmc(4)</a>
-	  on Rockchip RK3399</li>
+	  on Rockchip RK3328/RK3399</li>
 	<li><a href="https://man.openbsd.org/?query=dwmmc&amp;sektion=4&amp;arch=arm64">sdhc(4)</a>
 	  on Rockchip RK3399</li>
+	<li><a href="https://man.openbsd.org/?query=dwmmc&amp;sektion=4&amp;arch=arm64">sximmc(4)</a>
+	  on Allwinner A64/H5</li>
 </ul>
 
 <h4>USB</h4>
@@ -138,9 +145,9 @@
 	<li><a href="https://man.openbsd.org/?query=dwctwo&amp;sektion=4&amp;arch=arm64">dwctwo(4)</a>
 	  on Raspberry Pi 3</li>
 	<li><a href="https://man.openbsd.org/?query=ehci&amp;sektion=4&amp;arch=arm64">ehci(4)</a>
-	  on Pine64 and Firefly-RK3399</li>
+	  on Allwinner A64/H5 and Rockchip RK3328/RK3399</li>
 	<li><a href="https://man.openbsd.org/?query=xhci&amp;sektion=4&amp;arch=arm64">xhci(4)</a>
-	  on OverDrive 1000</li>
+	  on Rockchip RK3399 and OverDrive 1000</li>
 </ul>
 
 <b>No real time clock:</b> Many of the arm64 devices do not have a