diff --git a/repos/libports/run/nic_router.inc b/repos/libports/run/nic_router.inc
index bbd3dcb71a..6e0fd49dc9 100644
--- a/repos/libports/run/nic_router.inc
+++ b/repos/libports/run/nic_router.inc
@@ -2,11 +2,10 @@ if {[get_cmd_switch --autopilot] && [have_board riscv_qemu]} {
puts "Autopilot mode is not supported on this platform."
exit 0
}
-source ${genode_dir}/repos/base/run/platform_drv.inc
set targets "core init timer server/nic_router server/nic_bridge
test/lwip/http_srv test/lwip/http_clnt test/lwip/udp
- server/nic_loopback lib/vfs/lwip [platform_drv_build_components]"
+ server/nic_loopback lib/vfs/lwip "
proc client_bin { prot } {
if {$prot == "udp"} { return "test-lwip-udp-client" }
@@ -74,6 +73,6 @@ proc server_config { name prot ip_addr gateway netmask nic port } {
set boot_modules "
core init timer nic_router nic_bridge nic_loopback ld.lib.so
libc.lib.so vfs.lib.so vfs_lwip.lib.so [client_bin udp] [server_bin udp]
- [client_bin http] [server_bin http] [platform_drv_boot_modules]"
+ [client_bin http] [server_bin http] "
append qemu_args "-nographic "
diff --git a/repos/libports/run/nic_router.run b/repos/libports/run/nic_router.run
index 4619166875..5badf25ddc 100644
--- a/repos/libports/run/nic_router.run
+++ b/repos/libports/run/nic_router.run
@@ -275,8 +275,6 @@ append config {
- } [platform_drv_config] {
-
diff --git a/repos/libports/run/nic_router_dyn_config.run b/repos/libports/run/nic_router_dyn_config.run
index f2cdeb9d12..70207c0d14 100644
--- a/repos/libports/run/nic_router_dyn_config.run
+++ b/repos/libports/run/nic_router_dyn_config.run
@@ -198,8 +198,6 @@ append config {
- } [platform_drv_config] {
-