platforms: revert custom settings

Reverts some of the changes in #310 that lead to unexpected side-affects. The 'Sel4testAllowSettingsOverride' prevents any default settings being applied in addition to allowing the settings to be overriden. Signed-off-by: Ivan Velickovic <[email protected]>
seL4 · Jan 30, 2024 · fcb7f29 · fcb7f29
1 parent 59703f6
commit fcb7f29
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/seL4-platforms/platforms.yml b/seL4-platforms/platforms.yml
@@ -120,9 +120,9 @@ platforms:
     march: armv8a
     no_hw_build: true
     # The MaaxBoard in machine queue expects a binary image
-    settings:
-        Sel4testAllowSettingsOverride: true
-        ElfloaderImage: "binary"
+    # settings:
+    # Sel4testAllowSettingsOverride: true
+    # ElfloaderImage: "binary"
 
   IMX8MM_EVK:
     arch: arm
@@ -225,9 +225,9 @@ platforms:
     req: [zcu102_2]
     march: armv8a
     # The ZCU102 in machine queue expects a binary image
-    settings:
-        Sel4testAllowSettingsOverride: true
-        ElfloaderImage: "binary"
+    # settings:
+    # Sel4testAllowSettingsOverride: true
+    # ElfloaderImage: "binary"
 
   ZYNQMP106:
     arch: arm