===================================================================
RCS file: /cvsrepo/anoncvs/cvs/www/arm64.html,v
retrieving revision 1.15
retrieving revision 1.16
diff -c -r1.15 -r1.16
*** www/arm64.html	2018/01/11 22:40:25	1.15
--- www/arm64.html	2018/01/31 15:23:32	1.16
***************
*** 114,146 ****
  <h4>Ethernet</h4>
  <ul>
  	<li><a href="https://man.openbsd.org/?query=dwge&amp;sektion=4&amp;arch=arm64">dwge(4)</a>
! 	  integrated Synopsys DesignWare GMAC 10/100/Gigabit Ethernet on <tt>Rockchip RK3399</tt></li>
  	<li><a href="https://man.openbsd.org/?query=dwxe&amp;sektion=4&amp;arch=arm64">dwxe(4)</a>
! 	  integrated Allwinner EMAC 10/100/Gigabit Ethernet on <tt>Allwinner A64/H5</tt></li>
  	<li><a href="https://man.openbsd.org/?query=msk&amp;sektion=4&amp;arch=arm64">msk(4)</a>
! 	  integrated Marvell Yukon-2 10/100/Gigabit Ethernet on <tt>OverDrive 1000</tt></li>
  	<li><a href="https://man.openbsd.org/?query=smsc&amp;sektion=4&amp;arch=arm64">smsc(4)</a>
! 	  integrated SMSC LAN95xx 10/100 USB Ethernet on <tt>Raspberry Pi 3</tt></li>
  </ul>
  
  <h4>Storage</h4>
  <ul>
  	<li><a href="https://man.openbsd.org/?query=ahci&amp;sektion=4&amp;arch=arm64">ahci(4)</a>
! 	  on <tt>Opteron A1100</tt></li>
  	<li><a href="https://man.openbsd.org/?query=dwmmc&amp;sektion=4&amp;arch=arm64">dwmmc(4)</a>
! 	  on <tt>Rockchip RK3399</tt></li>
  	<li><a href="https://man.openbsd.org/?query=dwmmc&amp;sektion=4&amp;arch=arm64">sdhc(4)</a>
! 	  on <tt>Rockchip RK3399</tt></li>
  </ul>
  
  <h4>USB</h4>
  <ul>
  	<li><a href="https://man.openbsd.org/?query=dwctwo&amp;sektion=4&amp;arch=arm64">dwctwo(4)</a>
! 	  on <tt>Raspberry Pi 3</tt></li>
  	<li><a href="https://man.openbsd.org/?query=ehci&amp;sektion=4&amp;arch=arm64">ehci(4)</a>
! 	  on <tt>Pine64</tt> and <tt>Firefly-RK3399</tt></li>
  	<li><a href="https://man.openbsd.org/?query=xhci&amp;sektion=4&amp;arch=arm64">xhci(4)</a>
! 	  on <tt>OverDrive 1000</tt></li>
  </ul>
  
  <b>No real time clock:</b> Many of the arm64 devices do not have a
--- 114,146 ----
  <h4>Ethernet</h4>
  <ul>
  	<li><a href="https://man.openbsd.org/?query=dwge&amp;sektion=4&amp;arch=arm64">dwge(4)</a>
! 	  integrated Synopsys DesignWare GMAC 10/100/Gigabit Ethernet on Rockchip RK3399</li>
  	<li><a href="https://man.openbsd.org/?query=dwxe&amp;sektion=4&amp;arch=arm64">dwxe(4)</a>
! 	  integrated Allwinner EMAC 10/100/Gigabit Ethernet on Allwinner A64/H5</li>
  	<li><a href="https://man.openbsd.org/?query=msk&amp;sektion=4&amp;arch=arm64">msk(4)</a>
! 	  integrated Marvell Yukon-2 10/100/Gigabit Ethernet on OverDrive 1000</li>
  	<li><a href="https://man.openbsd.org/?query=smsc&amp;sektion=4&amp;arch=arm64">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/?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>
  <ul>
  	<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