diff --git a/repos/ports/run/netperf.inc b/repos/ports/run/netperf.inc
index c91cdc93b5..b131110fe3 100644
--- a/repos/ports/run/netperf.inc
+++ b/repos/ports/run/netperf.inc
@@ -140,34 +140,30 @@ create_boot_directory
set packages "
[depot_user]/src/[base_src]
- [depot_user]/pkg/[drivers_nic_pkg]
[depot_user]/src/init
[depot_user]/src/libc
[depot_user]/src/posix
+ [depot_user]/src/report_rom
[depot_user]/src/vfs
[depot_user]/src/nic_router
"
-
-append_if [expr !$use_lxip] packages " [depot_user]/src/vfs_lwip "
-append_if $use_lxip packages " [depot_user]/src/vfs_lxip "
-append_if $use_nic_bridge packages " [depot_user]/src/nic_bridge "
-append_if $use_usb_driver packages " [depot_user]/src/platform_drv "
-append_if $use_wifi_driver packages " [depot_user]/src/fs_rom "
-append_if $use_wifi_driver packages " [depot_user]/src/vfs_import "
-append_if $use_wifi_driver packages " [depot_user]/src/report_rom "
-append_if $use_wifi_driver packages " [depot_user]/src/pc_wifi_drv "
-append_if $use_wifi_driver packages " [depot_user]/src/openssl "
-append_if $use_wifi_driver packages " [depot_user]/src/vfs_jitterentropy "
-append_if $use_wifi_driver packages " [depot_user]/raw/wifi_firmware "
+set use_nic_drv [expr !$use_usb_driver && !$use_wifi_driver]
+append_if $use_nic_drv packages " [depot_user]/pkg/[drivers_nic_pkg] "
+append_if [expr !$use_lxip] packages " [depot_user]/src/vfs_lwip "
+append_if $use_lxip packages " [depot_user]/src/vfs_lxip "
+append_if $use_nic_bridge packages " [depot_user]/src/nic_bridge "
+append_if $use_usb_driver packages " [depot_user]/pkg/test_usb_host_drv-[board] "
+append_if $use_usb_driver packages " [depot_user]/src/usb_net_drv "
+append_if $use_wifi_driver packages " [depot_user]/src/fs_rom "
+append_if $use_wifi_driver packages " [depot_user]/src/vfs_import "
+append_if $use_wifi_driver packages " [depot_user]/pkg/wifi "
+append_if $use_wifi_driver packages " [depot_user]/src/acpi_drv "
+append_if $use_wifi_driver packages " [depot_user]/src/pci_decode "
+append_if $use_wifi_driver packages " [depot_user]/src/platform_drv "
import_from_depot $packages
-set build_components { app/netperf }
-
-append_if $use_usb_driver build_components " drivers/usb_host "
-append_if $use_usb_driver build_components " drivers/usb_net "
-
-build $build_components
+build { app/netperf }
#
# Generate config
@@ -175,14 +171,6 @@ build $build_components
set lx_ip_addr "10.0.2.55"
-source ${genode_dir}/repos/base/run/platform_drv.inc
-proc platform_drv_policy {} {
- global use_wifi_driver
- if { $use_wifi_driver } {
- return { }}
- return { }
-}
-
set config {
@@ -206,12 +194,41 @@ set config {
}
if { $use_wifi_driver } {
- append_platform_drv_config
append config {
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -269,36 +286,18 @@ append config {
} elseif { $use_usb_driver } {
- append_platform_drv_config
append config {
- }
-
- append config ""
- append config {
-
-
+
+
+
- }
-
- append_if [have_board arndale] config {
-
- }
-
- append_if [have_board rpi] config {
-
- }
-
- append_if [have_spec x86] config {
-
- }
-
- append config {
-
-
+
+
-
+
+
@@ -431,11 +430,22 @@ append config {
install_config $config
+#
+# Define USB host controller config
+#
+if { $use_usb_driver } {
+ set fd [open [run_dir]/genode/usb_host_drv.config w]
+ append usb_config {}
+ append_if [have_board rpi] usb_config {
+ }
+ append_if [have_spec x86] usb_config {
+ }
+ append usb_config {}
+ puts $fd $usb_config
+ close $fd
+}
+
set boot_modules { netserver }
-
-append_if $use_usb_driver boot_modules " [usb_host_drv_binary] "
-append_if $use_usb_driver boot_modules " usb_net_drv "
-
build_boot_image $boot_modules
#