From a869afadd6b379922909fc00b798c895844b68bf Mon Sep 17 00:00:00 2001
From: Gerwin Klein <gerwin.klein@proofcraft.systems>
Date: Fri, 12 Jan 2024 17:31:29 +1100
Subject: [PATCH] platforms: temporarily remove imx8mm from CI

Should be put back in after 25 Jan 2024 at the latest.

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

diff --git a/seL4-platforms/platforms.yml b/seL4-platforms/platforms.yml
index 749a134f..8f26906a 100644
--- a/seL4-platforms/platforms.yml
+++ b/seL4-platforms/platforms.yml
@@ -126,6 +126,7 @@ platforms:
     platform: imx8mm-evk
     req: [imx8mm]
     march: armv8a
+    disabled: true # temporarily disabled for CI for benchmarking
 
   TQMA8XQP1GB:
     arch: arm