===================================================================
RCS file: /cvsrepo/anoncvs/cvs/www/arm64.html,v
retrieving revision 1.17
retrieving revision 1.18
diff -c -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,47 ****
  <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.
  </p>
  
  <p>
--- 40,47 ----
  <h3><font color="#0000e0"><strong>Current status</strong></font></h3>
  
  <p>
! The current target platforms are Rockchip RK3328/RK3399, Allwinner
! A64/H5, Raspberry Pi 3 and Opteron A1100.
  </p>
  
  <p>
***************
*** 84,99 ****
  <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.
  </p>
  
  <ul>
  	<li>Allwinner A64/H5
  	<ul>
! 		<li>Pine 64/64+
  		<li>Orange Pi PC2
  	</ul>
  	<li>AMD Opteron A1100 (Seattle)
--- 84,97 ----
  <h3><font color="#0000e0"><strong>Supported hardware</strong></font></h3>
  
  <p>
! OpenBSD/arm64 runs on the following hardware:
  </p>
  
  <ul>
  	<li>Allwinner A64/H5
  	<ul>
! 		<li>Pine64 Pine 64/64+
! 		<li>NanoPi A64
  		<li>Orange Pi PC2
  	</ul>
  	<li>AMD Opteron A1100 (Seattle)
***************
*** 105,116 ****
  	<ul>
  		<li>Raspberry Pi 3
  	</ul>
! 	<li>Rockchip RK3399
  	<ul>
  		<li>Firefly-RK3399
  	</ul>
  </ul>
  
  <h4>Ethernet</h4>
  <ul>
  	<li><a href="https://man.openbsd.org/?query=dwge&amp;sektion=4&amp;arch=arm64">dwge(4)</a>
--- 103,121 ----
  	<ul>
  		<li>Raspberry Pi 3
  	</ul>
! 	<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,136 ****
  	<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>
  	<li><a href="https://man.openbsd.org/?query=dwmmc&amp;sektion=4&amp;arch=arm64">sdhc(4)</a>
  	  on Rockchip RK3399</li>
  </ul>
  
  <h4>USB</h4>
--- 133,143 ----
  	<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 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,146 ****
  	<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>
  	<li><a href="https://man.openbsd.org/?query=xhci&amp;sektion=4&amp;arch=arm64">xhci(4)</a>
! 	  on OverDrive 1000</li>
  </ul>
  
  <b>No real time clock:</b> Many of the arm64 devices do not have a
--- 145,153 ----
  	<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 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 Rockchip RK3399 and OverDrive 1000</li>
  </ul>
  
  <b>No real time clock:</b> Many of the arm64 devices do not have a