From 5657375c9f51ee529fcf99473116f5f300069870 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Wed, 2 May 2018 12:24:40 +0200
Subject: [PATCH] Disable network tests on imx53_qsb_tz

---
 repos/libports/run/fetchurl.run     |  3 ++-
 repos/libports/run/lwip.run         |  3 ++-
 repos/ports/run/netperf.inc         | 11 ++++-------
 repos/ports/run/noux_net_netcat.run |  4 +++-
 4 files changed, 11 insertions(+), 10 deletions(-)

diff --git a/repos/libports/run/fetchurl.run b/repos/libports/run/fetchurl.run
index 47b9048a4..64d22664b 100644
--- a/repos/libports/run/fetchurl.run
+++ b/repos/libports/run/fetchurl.run
@@ -4,7 +4,8 @@
 # \date   2016-06-05
 #
 
-if {[have_spec odroid_xu] || [have_spec linux]} {
+if {[have_spec odroid_xu] || [have_spec linux] ||
+    [expr [have_spec imx53] && [have_spec trustzone]]} {
 	puts "Run script does not support this platform."
 	exit 0
 }
diff --git a/repos/libports/run/lwip.run b/repos/libports/run/lwip.run
index 075fd60d2..7d68b98d7 100644
--- a/repos/libports/run/lwip.run
+++ b/repos/libports/run/lwip.run
@@ -23,7 +23,8 @@
 set use_usb_driver [expr [have_spec omap4] || [have_spec arndale] || [have_spec rpi]]
 set use_nic_driver [expr !$use_usb_driver && ![have_spec odroid_xu] && ![have_spec linux]]
 
-if {[expr !$use_usb_driver && !$use_nic_driver]} {
+if {[expr !$use_usb_driver && !$use_nic_driver] ||
+    [expr [have_spec imx53] && [have_spec trustzone]]} {
 	puts "\n Run script is not supported on this platform. \n"; exit 0 }
 
 requires_installation_of lynx
diff --git a/repos/ports/run/netperf.inc b/repos/ports/run/netperf.inc
index 1f06eef13..4e921c0d6 100644
--- a/repos/ports/run/netperf.inc
+++ b/repos/ports/run/netperf.inc
@@ -19,18 +19,15 @@ if {[get_cmd_switch --autopilot] && [have_include "power_on/qemu"]} {
 	exit
 }
 
-if {[have_spec odroid_xu]} {
-	puts "Run script does not support this platform."
-	exit 0
-}
-
 if {![info exists use_usb_driver]} {
 	set use_usb_driver      [expr [have_spec omap4] || [have_spec arndale] || [have_spec rpi]]
 }
 set use_nic_driver      [expr !$use_usb_driver && !$use_wifi_driver]
 
-if {[expr !$use_usb_driver && !$use_nic_driver && !$use_wifi_driver]} {
-	puts "Run script is not supported on this platform.";
+if {[expr !$use_usb_driver && !$use_nic_driver && !$use_wifi_driver] ||
+    [have_spec odroid_xu] ||
+    [expr [have_spec imx53] && [have_spec trustzone]]} {
+	puts "Run script is not supported on this platform."
 	exit 0
 }
 
diff --git a/repos/ports/run/noux_net_netcat.run b/repos/ports/run/noux_net_netcat.run
index ee72dc566..6eed344bc 100644
--- a/repos/ports/run/noux_net_netcat.run
+++ b/repos/ports/run/noux_net_netcat.run
@@ -1,7 +1,9 @@
 set use_usb_driver   [expr [have_spec omap4] || [have_spec arndale] || [have_spec rpi]]
 set use_nic_driver   [expr !$use_usb_driver && ![have_spec linux] && ![have_spec odroid_xu]]
 
-if {[expr !$use_usb_driver && !$use_nic_driver || [expr [have_include "power_on/qemu"] && [have_spec zynq]]]} {
+if {[expr !$use_usb_driver && !$use_nic_driver] ||
+    [expr [have_include "power_on/qemu"] && [have_spec zynq]] ||
+    [expr [have_spec imx53] && [have_spec trustzone]]} {
 	puts "\n Run script is not supported on this platform. \n"; exit 0 }