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 8, 2023 · 3ba2b80 · 3ba2b80
1 parent 0723e6e
commit 3ba2b80
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