===================================================================
RCS file: /cvsrepo/anoncvs/cvs/www/arm64.html,v
retrieving revision 1.42
retrieving revision 1.43
diff -u -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,7 +36,7 @@
 
 <p>
 The current target platforms are Allwinner A64/H5, Amlogic G12B/SM1,
-AMD Opteron A1100, Ampere eMAG, Marvell ARMADA 7K/8K, Rockchip
+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,6 +117,10 @@
 		<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,6 +157,8 @@
 	  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,7 +180,7 @@
 	<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
+	  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,8 +192,8 @@
 	<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
+	  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