diff --git a/repos/mml/run/blinktree_server.run b/repos/mml/run/blinktree_server.run
index 9129223d17..a9b4801d4f 100644
--- a/repos/mml/run/blinktree_server.run
+++ b/repos/mml/run/blinktree_server.run
@@ -1,18 +1,10 @@
set build_components {
- app/blinktree_server hoitaja
+ core init timer app/blinktree_server hoitaja server/nic_router
}
create_boot_directory
-import_from_depot [depot_user]/src/[base_src] \
- [depot_user]/pkg/[drivers_nic_pkg] \
- [depot_user]/src/dynamic_rom \
- [depot_user]/src/init \
- [depot_user]/src/libc \
- [depot_user]/src/nic_router \
- [depot_user]/src/vfs_audit \
- [depot_user]/src/vfs_lwip \
- [depot_user]/src/vfs
+import_from_depot [depot_user]/pkg/[drivers_nic_pkg] \
build $build_components
set config {
@@ -45,80 +37,13 @@ set config {
}
append config {
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
-
-
@@ -137,187 +62,114 @@ append config {
-
-
+
-
-
-
-
-
-
-
-
-
-
-
- 2022-07-20 14:30
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
- 2022-07-20 14:30
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- 2022-07-20 14:30
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- 2022-07-20 14:30
-
-
-
-
-
-
-
-
- -->
-
-
-
-
-
-
-
-
-
-}
+
+
+
+
+
+
+
+
+
+ 2022-07-20 14:30
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ }
-install_config $config
+ install_config $config
-build_boot_image { ld.lib.so libm.lib.so libc.lib.so stdcxx.lib.so blinktree_daemon hoitaja }
+ build_boot_image { core init timer ld.lib.so libm.lib.so libc.lib.so stdcxx.lib.so vfs.lib.so blinktree_daemon hoitaja nic_router }
-append qemu_args "-nographic"
-append_qemu_nic_args "host=10.0.2.1,dhcpstart=10.0.2.55,hostfwd=tcp::12345-:12345,hostfwd=tcp::18080-:12345,hostfwd=udp::10007-:7,hostfwd=udp::17070-:7070"
+ append qemu_args "-nographic"
+ append_qemu_nic_args "host=10.0.2.1,dhcpstart=10.0.2.55,hostfwd=tcp::12345-:12345,hostfwd=tcp::18080-:12345,hostfwd=udp::10007-:7,hostfwd=udp::17070-:7070"
-run_genode_until forever
+ run_genode_until forever
-set rounds 100
-set succeeded 0
+ set rounds 100
+ set succeeded 0
-for {set r 0} {$r < $rounds} {incr r} {
- run_genode_until {\[init -> hoitaja -> blinktree1\] Finished\.} 300
- kill_spawned [output_spawn_id]
- incr succeeded
-}
+ for {set r 0} {$r < $rounds} {incr r} {
+ run_genode_until {\[init -> hoitaja -> blinktree1\] Finished\.} 300
+ kill_spawned [output_spawn_id]
+ incr succeeded
+ }
-puts "$succeeded of $rounds rounds succeeded."
+ puts "$succeeded of $rounds rounds succeeded."