ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-06-01 23:20:55 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Set USB bios_handoff="no" in run scripts

Browse Source 
This is the default setting in Sculpt currently, so use it also
for testing.
This commit is contained in:
Christian Helmuth 2025-03-31 15:16:57 +02:00 committed by Norman Feske
parent cc465070d2
commit 5619ccd940
5 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/dde_linux/run/usb_hid_reconnect.run
View File

@ -111,7 +111,7 @@ install_config {
# #
set fd [open [run_dir]/genode/usb_host.config w] set fd [open [run_dir]/genode/usb_host.config w]
puts $fd { puts $fd {
<config bios_handoff="yes"> <config bios_handoff="no">
<report devices="yes"/> <report devices="yes"/>
<policy label_prefix="usb_hid"> <device class="0x3"/> </policy> <policy label_prefix="usb_hid"> <device class="0x3"/> </policy>
</config>} </config>}

2
repos/dde_linux/run/usb_net.run
View File

@ -105,7 +105,7 @@ install_config {
# #
# Define USB host controller config # Define USB host controller config
# #
set config {<config bios_handoff="yes">} set config {<config bios_handoff="no">}
append_if [have_board rpi] config { append_if [have_board rpi] config {
<policy label_prefix="usb_net"> <policy label_prefix="usb_net">
<device vendor_id="0x0424" product_id="0xec00"/> </policy>} <device vendor_id="0x0424" product_id="0xec00"/> </policy>}

2
repos/libports/run/smartcard.run
View File

@ -97,7 +97,7 @@ install_config {
# Define USB host controller config # Define USB host controller config
# #
append usb_config { append usb_config {
<config bios_handoff="yes"> <config bios_handoff="no">
<report devices="yes"/> <report devices="yes"/>
<policy label="test-smartcard -> "><device vendor_id="} [smartcard_vendor_id] {" product_id="} [smartcard_product_id] {"/></policy> <policy label="test-smartcard -> "><device vendor_id="} [smartcard_vendor_id] {" product_id="} [smartcard_product_id] {"/></policy>
</config>} </config>}

2
repos/os/run/usb_block.run
View File

@ -85,7 +85,7 @@ install_config {
# Define USB host controller config # Define USB host controller config
# #
set fd [open [run_dir]/genode/usb_host.config w] set fd [open [run_dir]/genode/usb_host.config w]
puts $fd { <config> puts $fd { <config bios_handoff="no">
<policy label="usb_block -> "> <policy label="usb_block -> ">
<device name="usb-1-2"/> <device name="usb-1-2"/>
</policy> </policy>

2
repos/ports/run/netperf.inc
View File

@ -424,7 +424,7 @@ install_config $config
# #
if { $use_usb_driver } { if { $use_usb_driver } {
set fd [open [run_dir]/genode/usb_host.config w] set fd [open [run_dir]/genode/usb_host.config w]
append usb_config {<config bios_handoff="yes">} append usb_config {<config bios_handoff="no">}
append_if [have_board rpi] usb_config { append_if [have_board rpi] usb_config {
<policy label_prefix="nic"> <policy label_prefix="nic">
<device vendor_id="0x0424" product_id="0xec00"/> <device vendor_id="0x0424" product_id="0xec00"/>