From c63fe241f429dfe14a3b51baf39046eac70de87b Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Fri, 24 Nov 2017 14:40:29 +0100
Subject: [PATCH] run: disable wifi netperf on non-ACPI 32bit kernel

---
 repos/ports/run/netperf_lwip_wifi.run | 5 +++++
 repos/ports/run/netperf_lxip_wifi.run | 5 +++++
 2 files changed, 10 insertions(+)

diff --git a/repos/ports/run/netperf_lwip_wifi.run b/repos/ports/run/netperf_lwip_wifi.run
index 2545b89e9..d5091dec3 100644
--- a/repos/ports/run/netperf_lwip_wifi.run
+++ b/repos/ports/run/netperf_lwip_wifi.run
@@ -16,6 +16,11 @@ if { [have_spec muen] } {
 	exit 0
 }
 
+if {[get_cmd_switch --autopilot] && [have_spec x86_32] && ![have_spec acpi]} {
+	puts stderr "\nNetperf WIFI running with non-ACPI kernel on native x86_32 test machine is not supported because of wrong interrupt number in pci config space (should be 11 instead 10).\n"
+	exit
+}
+
 # network configuration
 set use_nic_bridge      0
 set use_wifi_driver     1
diff --git a/repos/ports/run/netperf_lxip_wifi.run b/repos/ports/run/netperf_lxip_wifi.run
index 6c6a23ab2..6e242c29e 100644
--- a/repos/ports/run/netperf_lxip_wifi.run
+++ b/repos/ports/run/netperf_lxip_wifi.run
@@ -16,6 +16,11 @@ if { [have_spec muen] } {
 	exit 0
 }
 
+if {[get_cmd_switch --autopilot] && [have_spec x86_32] && ![have_spec acpi]} {
+	puts stderr "\nNetperf WIFI running with non-ACPI kernel on native x86_32 test machine is not supported because of wrong interrupt number in pci config space (should be 11 instead 10).\n"
+	exit
+}
+
 # network configuration
 set use_nic_bridge      0
 set use_wifi_driver     1