platforms: imx8mm available again for CI (#331)

Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Feb 9, 2024 · be55f0b · be55f0b
1 parent 9b19eee
commit be55f0b
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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