diff --git a/seL4-platforms/platforms.yml b/seL4-platforms/platforms.yml
index a4325401..033248d1 100644
--- a/seL4-platforms/platforms.yml
+++ b/seL4-platforms/platforms.yml
@@ -233,14 +233,6 @@ platforms:
     req: [odroidc4_1, odroidc4_2]
     march: armv8a
 
-  ODROID_X:
-    arch: arm
-    modes: [32]
-    platform: exynos4
-    req: [odroid]
-    march: armv7a
-    no_hw_test: true
-
   ODROID_XU:
     arch: arm
     modes: [32]
@@ -251,15 +243,6 @@ platforms:
     march: armv7a
     no_hw_test: true
 
-  ARNDALE:
-    arch: arm
-    modes: [32]
-    platform: exynos5250
-    req: [arndale]
-    image_platform: exynos5
-    march: armv7a
-    no_hw_build: true
-
   ODROID_XU4:
     arch: arm
     modes: [32]
@@ -300,15 +283,6 @@ platforms:
     req: [zcu106]
     march: armv8a
 
-  HIKEY:
-    arch: arm
-    modes: [32, 64]
-    aarch_hyp: [64]
-    platform: hikey
-    req: [hikey]
-    march: armv8a
-    no_hw_test: true
-
   TK1:
     arch: arm
     modes: [32]
@@ -354,42 +328,6 @@ platforms:
     req: [tx2a, tx2b]
     march: armv8a
 
-  APQ8064:
-    arch: arm
-    modes: [32]
-    platform: apq8064
-    req: [inforce]
-    image_platform: inforce
-    march: armv7a
-    no_hw_build: true
-
-  WANDQ:
-    arch: arm
-    modes: [32]
-    platform: wandq
-    image_platform: imx6
-    # march: ?
-    no_hw_test: true
-    no_hw_build: true
-
-  ALLWINNER20:
-    arch: arm
-    modes: [32]
-    platform: allwinner20
-    march: armv7a
-    no_hw_test: true
-    no_hw_build: true
-
-  IMX7SABRE:
-    arch: arm
-    modes: [32]
-    platform: imx7sabre
-    req: [imx7]
-    image_platform: imx7
-    # march: ?
-    no_hw_test: true
-    no_hw_build: true
-
   PC99:
     arch: x86
     modes: [32, 64]