===================================================================
RCS file: /cvsrepo/anoncvs/cvs/www/arm64.html,v
retrieving revision 1.42
retrieving revision 1.43
diff -c -r1.42 -r1.43
*** www/arm64.html	2021/05/04 23:52:17	1.42
--- www/arm64.html	2021/05/05 15:23:20	1.43
***************
*** 36,42 ****
  
  <p>
  The current target platforms are Allwinner A64/H5, Amlogic G12B/SM1,
! AMD Opteron A1100, Ampere eMAG, Marvell ARMADA 7K/8K, Rockchip
  RK3328/RK3399(pro), Broadcom BCM2837/BCM2711 (Raspberry Pi 3/4)
  and Socionext SCA11.
  
--- 36,42 ----
  
  <p>
  The current target platforms are Allwinner A64/H5, Amlogic G12B/SM1,
! AMD Opteron A1100, Ampere eMAG, Marvell ARMADA 3K/7K/8K, Rockchip
  RK3328/RK3399(pro), Broadcom BCM2837/BCM2711 (Raspberry Pi 3/4)
  and Socionext SCA11.
  
***************
*** 117,122 ****
--- 117,126 ----
  		<li><a href="https://www.raspberrypi.org/products/raspberry-pi-4-model-b/specifications/">Raspberry Pi 4</a>
  		<li><a href="https://www.raspberrypi.org/products/raspberry-pi-400-unit/">Raspberry Pi 400</a>
  	</ul>
+ 	<li>Marvell ARMADA 3K
+ 	<ul>
+ 		<li><a href="https://www.turris.com/en/mox/">Turris MOX</a>
+ 	</ul>
  	<li>Marvell ARMADA 7K/8K
  	<ul>
  		<li><a href="https://www.solid-run.com/marvell-armada-family/macchiatobin/">SolidRun/Marvell MACCHIATObin</a>
***************
*** 153,158 ****
--- 157,164 ----
  	  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/mvneta.4">mvneta(4)</a>
+ 	  integrated Marvell ARMADA Ethernet on Marvell ARMADA 3K
  	<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>
***************
*** 174,180 ****
  	<li><a href="https://man.openbsd.org/arm64/rkpcie.4">rkpcie(4)</a>
  	  on Rockchip RK3399
  	<li><a href="https://man.openbsd.org/arm64/sdhc.4">sdhc(4)</a>
! 	  on Rockchip RK3399 and Raspberry Pi 4
  	<li><a href="https://man.openbsd.org/arm64/sximmc.4">sximmc(4)</a>
  	  on Allwinner A64/H5
  </ul>
--- 180,186 ----
  	<li><a href="https://man.openbsd.org/arm64/rkpcie.4">rkpcie(4)</a>
  	  on Rockchip RK3399
  	<li><a href="https://man.openbsd.org/arm64/sdhc.4">sdhc(4)</a>
! 	  on Marvell ARMADA 3K/7K/8K, Rockchip RK3399 and Raspberry Pi 4
  	<li><a href="https://man.openbsd.org/arm64/sximmc.4">sximmc(4)</a>
  	  on Allwinner A64/H5
  </ul>
***************
*** 186,193 ****
  	<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 Amlogic G12A/B, Ampere eMAG, Overdrive 1000, Raspberry Pi
! 	  4, Rockchip RK3399 and SynQuacer-E
  </ul>
  
  <strong>No real time clock:</strong> Many of the arm64 devices do not have a
--- 192,199 ----
  	<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 Amlogic G12A/B, Ampere eMAG, Marvell ARMADA 3K/7K/8K,
! 	  Overdrive 1000, Raspberry Pi 4, Rockchip RK3399 and SynQuacer-E
  </ul>
  
  <strong>No real time clock:</strong> Many of the arm64 devices do not have a