From 00ede822c61250d9a9b3f493b5caf26080bca217 Mon Sep 17 00:00:00 2001
From: Johannes Schlatow <johannes.schlatow@genode-labs.com>
Date: Wed, 15 Nov 2023 16:01:31 +0100
Subject: [PATCH] disable demo and fb_bench for zynq_usrp_e31x

genodelabs/genode#5056
---
 repos/os/run/demo.run     | 1 +
 repos/os/run/fb_bench.run | 1 +
 2 files changed, 2 insertions(+)

diff --git a/repos/os/run/demo.run b/repos/os/run/demo.run
index 27ca7fc3fd..449ef3c139 100644
--- a/repos/os/run/demo.run
+++ b/repos/os/run/demo.run
@@ -1,5 +1,6 @@
 if {[have_board imx6q_sabrelite] ||
     [have_board imx7d_sabre] ||
+    [have_board zynq_usrp_e31x] ||
     ([get_cmd_switch --autopilot] && [have_board linux]) ||
     ([get_cmd_switch --autopilot] && [have_include "power_on/qemu"])} {
 	puts "Run script does not support this platform."
diff --git a/repos/os/run/fb_bench.run b/repos/os/run/fb_bench.run
index debf4d4a39..1185dd4ded 100644
--- a/repos/os/run/fb_bench.run
+++ b/repos/os/run/fb_bench.run
@@ -2,6 +2,7 @@ if {[have_board imx7d_sabre] ||
     [have_board imx6q_sabrelite] ||
     [have_board rpi3] ||
     [have_board zynq_qemu] ||
+    [have_board zynq_usrp_e31x] ||
     [have_board imx53_qsb_tz] ||
     [have_board imx53_qsb] && [have_spec foc]} {
 	puts "\n Run script is not supported on this platform. \n";