From ddacb1400c95f08d85699b203ce9cb9ed58bfaeb Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Tue, 5 Feb 2019 13:36:24 +0100
Subject: [PATCH] Do not disable USB BIOS handoff in tests

Fixes #3140
---
 repos/dde_linux/run/usb_hid.run           | 2 +-
 repos/dde_linux/run/usb_hid_reconnect.run | 2 +-
 repos/dde_linux/run/usb_net.run           | 2 +-
 repos/libports/run/smartcard.run          | 2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/repos/dde_linux/run/usb_hid.run b/repos/dde_linux/run/usb_hid.run
index e2ee8ac24..97638ab55 100644
--- a/repos/dde_linux/run/usb_hid.run
+++ b/repos/dde_linux/run/usb_hid.run
@@ -133,7 +133,7 @@ append config "<binary name=\"[usb_host_drv_binary]\"/>"
 append config {
 		<resource name="RAM" quantum="11M"/>
 		<provides> <service name="Usb"/> </provides>
-		<config bios_handoff="no">
+		<config bios_handoff="yes">
 			<report devices="yes"/>
 			<policy label_prefix="usb_hid_drv" class="0x3"/>
 		</config>
diff --git a/repos/dde_linux/run/usb_hid_reconnect.run b/repos/dde_linux/run/usb_hid_reconnect.run
index 212893d7b..59ff18a20 100644
--- a/repos/dde_linux/run/usb_hid_reconnect.run
+++ b/repos/dde_linux/run/usb_hid_reconnect.run
@@ -83,7 +83,7 @@ append config {
 		<provides><service name="Input"/></provides>
 		<config uhci="no" ohci="no" ehci="no" xhci="yes"
 		        capslock_led="rom" numlock_led="rom" scrlock_led="rom"
-		        bios_handoff="no">
+		        bios_handoff="yes">
 			<hid/>
 		</config>
 		<route>
diff --git a/repos/dde_linux/run/usb_net.run b/repos/dde_linux/run/usb_net.run
index 8894cfe31..107e8c508 100644
--- a/repos/dde_linux/run/usb_net.run
+++ b/repos/dde_linux/run/usb_net.run
@@ -73,7 +73,7 @@ append config "<binary name=\"[usb_host_drv_binary]\"/>"
 append config {
 		<resource name="RAM" quantum="10M"/>
 		<provides> <service name="Usb"/> </provides>
-		<config bios_handoff="no">}
+		<config bios_handoff="yes">}
 append_if [have_spec arndale] config {
 			<policy label_prefix="usb_net_drv" vendor_id="0x0b95" product_id="0x772a"/> }
 append_if [expr [have_spec panda] || [have_spec rpi] ] config {
diff --git a/repos/libports/run/smartcard.run b/repos/libports/run/smartcard.run
index 7f525d309..8705b583b 100644
--- a/repos/libports/run/smartcard.run
+++ b/repos/libports/run/smartcard.run
@@ -76,7 +76,7 @@ append config {
 	<start name="usb_drv" caps="120">
 		<resource name="RAM" quantum="16M"/>
 		<provides><service name="Usb"/></provides>
-		<config uhci="yes" ehci="yes" xhci="yes" bios_handoff="no">
+		<config uhci="yes" ehci="yes" xhci="yes" bios_handoff="yes">
 			<raw>
 				<policy label="test-smartcard -> usb_device" vendor_id="0x04e6" product_id="0x5116"/>
 			</raw>