imx8: remove tests for unsupported sessions

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
seL4 · Jun 30, 2023 · 8027d00 · 8027d00
1 parent c516d67
commit 8027d00
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/run_tests b/run_tests
@@ -40,7 +40,12 @@ EXCLUDE["ARM_HYP"]=[
     "RefineOrphanage",
     "SimplExportAndRefine"]
 
-EXCLUDE["ARM"]=[]
+EXCLUDE["ARM"]=[
+    "Access",
+    "DSpec",
+    "DBaseRefine",
+    "SimplExportAndRefine"
+]
 
 EXCLUDE["X64"]=[
     "Access",