platforms: add tqma8xqp1gb to hw test

The corresponding tqma board is now available in the machine queue. Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Dec 9, 2023 · 38ce9b3 · 38ce9b3
1 parent 8a58fbe
commit 38ce9b3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/seL4-platforms/platforms.yml b/seL4-platforms/platforms.yml
@@ -132,8 +132,8 @@ platforms:
     modes: [64]
     smp: [64]
     platform: tqma8xqp1gb
+    req: [tqma]
     march: armv8a
-    disabled: true
 
   OMAP3:
     arch: arm