platforms: add MaaXBoard (#305)

The MaaXBoard is the same SoC as the i.MX8MQ and so all the test configurations that work for the i.MX8MQ-EVK should also work. Signed-off-by: Ivan Velickovic <[email protected]>
seL4 · Jan 16, 2024 · 693a58e · 693a58e
1 parent a869afa
commit 693a58e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/seL4-platforms/platforms.yml b/seL4-platforms/platforms.yml
@@ -116,8 +116,8 @@ platforms:
     smp: [64]
     aarch_hyp: [64]
     platform: maaxboard
+    req: [maaxboard1]
     march: armv8a
-    disabled: true
 
   IMX8MM_EVK:
     arch: arm