From be55f0b2a67b2311172b8ec42da7205c164177be Mon Sep 17 00:00:00 2001
From: Gerwin Klein <gerwin.klein@proofcraft.systems>
Date: Fri, 9 Feb 2024 11:42:58 +1100
Subject: [PATCH] platforms: imx8mm available again for CI (#331)

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

diff --git a/seL4-platforms/platforms.yml b/seL4-platforms/platforms.yml
index 741f3527..96902fd5 100644
--- a/seL4-platforms/platforms.yml
+++ b/seL4-platforms/platforms.yml
@@ -148,7 +148,6 @@ platforms:
     platform: imx8mm-evk
     req: [imx8mm]
     march: armv8a
-    no_hw_test: true # temporarily disabled for CI for benchmarking
 
   TQMA8XQP1GB:
     arch: arm