diff --git a/repos/dde_linux/run/usb_net.run b/repos/dde_linux/run/usb_net.run index 823a498806..d9869902de 100644 --- a/repos/dde_linux/run/usb_net.run +++ b/repos/dde_linux/run/usb_net.run @@ -90,7 +90,7 @@ install_config { - + @@ -121,7 +121,17 @@ close $fd build_boot_image { test-lwip_httpsrv } +proc usb_bus {} { + return "$::env(BUS)" } + +proc usb_device {} { + return "$::env(DEVICE)" } + + append qemu_args " -nographic" +append qemu_args { -usb -device nec-usb-xhci,id=xhci \ + -device usb-host,hostbus=[usb_bus],hostaddr=[usb_device],bus=xhci.0 } + run_genode_until forever