From 3eb21be9bdd648530897bba214cb70b35a25b043 Mon Sep 17 00:00:00 2001
From: Sebastian Sumpf <sebastian.sumpf@genode-labs.com>
Date: Wed, 25 Jun 2014 12:01:19 +0200
Subject: [PATCH] L4Linux: Disable netperf USB 3.0 test for x86

Issue #1189
---
 repos/ports-foc/run/l4linux_netperf_usb30.run | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/repos/ports-foc/run/l4linux_netperf_usb30.run b/repos/ports-foc/run/l4linux_netperf_usb30.run
index 26153d850..86fd4cf14 100644
--- a/repos/ports-foc/run/l4linux_netperf_usb30.run
+++ b/repos/ports-foc/run/l4linux_netperf_usb30.run
@@ -8,6 +8,11 @@ if {[is_qemu_available]} {
 	exit
 }
 
+#
+# Remove when testing USB 3.0 on x86
+#
+assert_spec foc_arndale
+
 # network configuration
 set use_nic_bridge      0