From 08c98dc30fac13105aec51124a38206ab572944c Mon Sep 17 00:00:00 2001
From: Ivan Velickovic <10481259+Ivan-Velickovic@users.noreply.github.com>
Date: Fri, 19 Jan 2024 14:22:35 +1100
Subject: [PATCH] platforms: disable MaaXBoard temporarily (#311)

Until https://github.com/seL4/ci-actions/pull/310 is merged.

Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
---
 seL4-platforms/platforms.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/seL4-platforms/platforms.yml b/seL4-platforms/platforms.yml
index b7a13a0b..74bee7f0 100644
--- a/seL4-platforms/platforms.yml
+++ b/seL4-platforms/platforms.yml
@@ -118,6 +118,7 @@ platforms:
     platform: maaxboard
     req: [maaxboard1]
     march: armv8a
+    no_hw_build: true
 
   IMX8MM_EVK:
     arch: arm