imx8: remove tests for unsupported sessions

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
seL4 · Jun 5, 2024 · 7bde948 · 7bde948
1 parent 0fc96a3
commit 7bde948
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",