platforms: set image format of MaaXBoard to binary

This is what our machine queue infrastructure expects for this platform. Signed-off-by: Ivan Velickovic <[email protected]>
seL4 · Jan 18, 2024 · 8056ae0 · 8056ae0
1 parent 61d3823
commit 8056ae0
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/seL4-platforms/platforms.yml b/seL4-platforms/platforms.yml
@@ -118,6 +118,9 @@ platforms:
     platform: maaxboard
     req: [maaxboard1]
     march: armv8a
+    extra_settings:
+        Sel4testAllowSettingsOverride: true
+        ElfloaderImage: "binary"
 
   IMX8MM_EVK:
     arch: arm