diff --git a/repos/dde_linux/run/usb_hid_reconnect.run b/repos/dde_linux/run/usb_hid_reconnect.run index a885fbffed..f7125ae7b9 100644 --- a/repos/dde_linux/run/usb_hid_reconnect.run +++ b/repos/dde_linux/run/usb_hid_reconnect.run @@ -111,7 +111,7 @@ install_config { # set fd [open [run_dir]/genode/usb_host.config w] puts $fd { - + } diff --git a/repos/dde_linux/run/usb_net.run b/repos/dde_linux/run/usb_net.run index 7c5923200e..f4283eee5a 100644 --- a/repos/dde_linux/run/usb_net.run +++ b/repos/dde_linux/run/usb_net.run @@ -105,7 +105,7 @@ install_config { # # Define USB host controller config # -set config {} +set config {} append_if [have_board rpi] config { } diff --git a/repos/libports/run/smartcard.run b/repos/libports/run/smartcard.run index a3edaba3d0..8bd424d0cc 100644 --- a/repos/libports/run/smartcard.run +++ b/repos/libports/run/smartcard.run @@ -97,7 +97,7 @@ install_config { # Define USB host controller config # append usb_config { - + } diff --git a/repos/os/run/usb_block.run b/repos/os/run/usb_block.run index 46ee6fd3ab..febd8131af 100644 --- a/repos/os/run/usb_block.run +++ b/repos/os/run/usb_block.run @@ -85,7 +85,7 @@ install_config { # Define USB host controller config # set fd [open [run_dir]/genode/usb_host.config w] -puts $fd { +puts $fd { diff --git a/repos/ports/run/netperf.inc b/repos/ports/run/netperf.inc index 9c3a23ee41..edea544b0c 100644 --- a/repos/ports/run/netperf.inc +++ b/repos/ports/run/netperf.inc @@ -424,7 +424,7 @@ install_config $config # if { $use_usb_driver } { set fd [open [run_dir]/genode/usb_host.config w] - append usb_config {} + append usb_config {} append_if [have_board rpi] usb_config {