From 75e26636c00edec2bca12016b5f1e18bfeeaad77 Mon Sep 17 00:00:00 2001
From: Gerwin Klein <gerwin.klein@proofcraft.systems>
Date: Mon, 15 Dec 2025 16:11:43 +1100
Subject: [PATCH 1/2] platforms: remove unmaintained platforms

Implementing RFC-19, this commit removes support for:

- Odroid-X
- Arndale
- Hikey
- Inforce

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
---
 seL4-platforms/platforms.yml | 35 -----------------------------------
 1 file changed, 35 deletions(-)

diff --git a/seL4-platforms/platforms.yml b/seL4-platforms/platforms.yml
index a4325401..7312f371 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,15 +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]

From d71428a64929b4304f16c3938d357004f3b899af Mon Sep 17 00:00:00 2001
From: Gerwin Klein <gerwin.klein@proofcraft.systems>
Date: Mon, 15 Dec 2025 16:15:04 +1100
Subject: [PATCH 2/2] platforms: clear out obsolete entries

Remove entries for WandQ, AllWinner20, IMX7 -- these were neither run
nor built and have not been supported for a long time.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
---
 seL4-platforms/platforms.yml | 27 ---------------------------
 1 file changed, 27 deletions(-)

diff --git a/seL4-platforms/platforms.yml b/seL4-platforms/platforms.yml
index 7312f371..033248d1 100644
--- a/seL4-platforms/platforms.yml
+++ b/seL4-platforms/platforms.yml
@@ -328,33 +328,6 @@ platforms:
     req: [tx2a, tx2b]
     march: armv8a
 
-  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]