From 38ce9b3dcc093861503482100cda9432061fb2f2 Mon Sep 17 00:00:00 2001
From: Gerwin Klein <gerwin.klein@proofcraft.systems>
Date: Fri, 8 Dec 2023 13:53:31 +0100
Subject: [PATCH] platforms: add tqma8xqp1gb to hw test

The corresponding tqma board is now available in the machine queue.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
---
 seL4-platforms/platforms.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/seL4-platforms/platforms.yml b/seL4-platforms/platforms.yml
index 50fb362b..7c12e1c0 100644
--- 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