===================================================================
RCS file: /cvsrepo/anoncvs/cvs/www/arm64.html,v
retrieving revision 1.23
retrieving revision 1.24
diff -c -r1.23 -r1.24
*** www/arm64.html	2019/05/27 22:55:19	1.23
--- www/arm64.html	2019/06/01 22:54:16	1.24
***************
*** 118,152 ****
  <h4>Ethernet</h4>
  <ul>
  	<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>
  	<li><a href="https://man.openbsd.org/arm64/dwxe.4">dwxe(4)</a>
! 	  integrated Allwinner EMAC 10/100/Gigabit Ethernet on Allwinner A64/H5</li>
  	<li><a href="https://man.openbsd.org/arm64/msk.4">msk(4)</a>
! 	  integrated Marvell Yukon-2 10/100/Gigabit Ethernet on OverDrive 1000</li>
  	<li><a href="https://man.openbsd.org/arm64/smsc.4">smsc(4)</a>
! 	  integrated SMSC LAN95xx 10/100 USB Ethernet on Raspberry Pi 3</li>
  </ul>
  
  <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>
  	<li><a href="https://man.openbsd.org/arm64/dwmmc.4">dwmmc(4)</a>
! 	  on Rockchip RK3328/RK3399</li>
  	<li><a href="https://man.openbsd.org/arm64/dwmmc.4">sdhc(4)</a>
! 	  on Rockchip RK3399</li>
  	<li><a href="https://man.openbsd.org/arm64/dwmmc.4">sximmc(4)</a>
! 	  on Allwinner A64/H5</li>
  </ul>
  
  <h4>USB</h4>
  <ul>
  	<li><a href="https://man.openbsd.org/arm64/dwctwo.4">dwctwo(4)</a>
! 	  on Raspberry Pi 3</li>
  	<li><a href="https://man.openbsd.org/arm64/ehci.4">ehci(4)</a>
! 	  on Allwinner A64/H5 and Rockchip RK3328/RK3399</li>
  	<li><a href="https://man.openbsd.org/arm64/xhci.4">xhci(4)</a>
! 	  on Rockchip RK3399, OverDrive 1000 and SynQuacer-E</li>
  </ul>
  
  <strong>No real time clock:</strong> Many of the arm64 devices do not have a
--- 118,152 ----
  <h4>Ethernet</h4>
  <ul>
  	<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>
! 	  integrated Allwinner EMAC 10/100/Gigabit Ethernet on Allwinner A64/H5
  	<li><a href="https://man.openbsd.org/arm64/msk.4">msk(4)</a>
! 	  integrated Marvell Yukon-2 10/100/Gigabit Ethernet on OverDrive 1000
  	<li><a href="https://man.openbsd.org/arm64/smsc.4">smsc(4)</a>
! 	  integrated SMSC LAN95xx 10/100 USB Ethernet on Raspberry Pi 3
  </ul>
  
  <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>
  
  <h4>USB</h4>
  <ul>
  	<li><a href="https://man.openbsd.org/arm64/dwctwo.4">dwctwo(4)</a>
! 	  on Raspberry Pi 3
  	<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