sync machine list with arm64.html

diff --git a/distrib/notes/arm64/hardware b/distrib/notes/arm64/hardware
index ad4668d..a4388da 100644 (file)
--- a/distrib/notes/arm64/hardware
+++ b/distrib/notes/arm64/hardware
@@ -1,13 +1,22 @@
-dnl    $OpenBSD: hardware,v 1.5 2017/08/28 04:44:38 jsg Exp $
+dnl    $OpenBSD: hardware,v 1.6 2018/08/15 06:31:58 jsg Exp $
 The following machines are targeted by OpenBSD/MACHINE:
 
        Allwinner A64/H5
                Pine 64/64+
+               NanoPi A64
                Orange Pi PC2
        AMD Opteron A1100 (Seattle)
                AMD Seattle Development Board
                SoftIron OverDrive 1000
+               SoftIron OverDrive 3000
        Broadcom BCM2837
                Raspberry Pi 3
-       Rockchip RK3399
+       Marvell ARMADA 7K/8K
+               SolidRun/Marvell MACCHIATObin
+       Rockchip RK3328/RK3399
+               Pine64 ROCK64
+               Pine64 ROCKPro64
                Firefly-RK3399
+               Theobroma Systems RK3399-Q7
+       Socionext SC2A11
+               Socionext SynQuacer-E Developerbox