diff --git a/repos/base/run/platform_drv.inc b/repos/base/run/platform_drv.inc
index 3da9f74d87..68b2ed1801 100644
--- a/repos/base/run/platform_drv.inc
+++ b/repos/base/run/platform_drv.inc
@@ -162,7 +162,8 @@ proc platform_drv_config {} {
- }
+
+ }
append_if [expr {[acpi_drv_name] eq "acpica"}] drv_config {
diff --git a/repos/libports/run/acpica.run b/repos/libports/run/acpica.run
index cd180a7290..99c6336285 100644
--- a/repos/libports/run/acpica.run
+++ b/repos/libports/run/acpica.run
@@ -39,13 +39,14 @@ set config {
+
-
+
diff --git a/repos/libports/run/netty.inc b/repos/libports/run/netty.inc
index 0d0e26758f..56228300cc 100644
--- a/repos/libports/run/netty.inc
+++ b/repos/libports/run/netty.inc
@@ -1,4 +1,4 @@
-proc use_dynamic_rom { } { return true }
+proc use_dynamic_rom { } { return false }
create_boot_directory
import_from_depot [depot_user]/src/[base_src] \
@@ -22,18 +22,19 @@ append config {
+
-
+
-
+
@@ -44,7 +45,7 @@ append config {
-
+
@@ -54,7 +55,7 @@ append config {
-
+
-
+
@@ -88,7 +89,7 @@ append config {
append_if [use_dynamic_rom] config {
-
+
@@ -139,7 +140,7 @@ if {[use_dynamic_rom]} { append config {
-
+
@@ -152,6 +153,7 @@ append config {
}
append qemu_args " -nographic "
-append_qemu_nic_args
+append_qemu_nic_args "host=10.0.2.1,dhcpstart=10.0.2.55,hostfwd=tcp::10080-:80,hostfwd=tcp::18080-:8080,hostfwd=udp::10007-:7,hostfwd=udp::17070-:7070"
+
# vi: set ft=tcl :
diff --git a/repos/libports/run/netty_lwip.inc b/repos/libports/run/netty_lwip.inc
index 7468c92bb3..e90d131ae8 100644
--- a/repos/libports/run/netty_lwip.inc
+++ b/repos/libports/run/netty_lwip.inc
@@ -20,6 +20,7 @@ append config {
+
@@ -34,7 +35,7 @@ append config {
-
+
@@ -45,7 +46,7 @@ append config {
-
+
diff --git a/repos/libports/run/netty_lwip_tcp.run b/repos/libports/run/netty_lwip_tcp.run
index c11bdf526d..3e5129c851 100644
--- a/repos/libports/run/netty_lwip_tcp.run
+++ b/repos/libports/run/netty_lwip_tcp.run
@@ -5,7 +5,7 @@ build { test/netty/tcp }
append config {
-
+
@@ -17,7 +17,7 @@ append config {
-
+
diff --git a/repos/libports/run/netty_lxip_tcp.run b/repos/libports/run/netty_lxip_tcp.run
index 89401504aa..3c5c5f8fa0 100644
--- a/repos/libports/run/netty_lxip_tcp.run
+++ b/repos/libports/run/netty_lxip_tcp.run
@@ -5,7 +5,7 @@ build { test/netty/tcp }
append config {
-
+
@@ -17,7 +17,7 @@ append config {
-
+
@@ -27,11 +27,11 @@ append config {
-
-
@@ -41,185 +39,209 @@ set config {
}
append config {
-
-
-
-
-
-
-
-
-
-
-
-
-
- 2022-07-20 14:30
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 2022-07-20 14:30
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 2022-07-20 14:30
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 2022-07-20 14:30
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
}
install_config $config
set boot_modules {
- core init timer vfs.lib.so ld.lib.so libm.lib.so libc.lib.so stdcxx.lib.so posix.lib.so blinktree top fill_randint_workloada mixed_randint_workloada
+ core init timer vfs.lib.so ld.lib.so libm.lib.so libc.lib.so stdcxx.lib.so hoitaja blinktree fill_randint_workloada mixed_randint_workloada
}
append_platform_drv_boot_modules
build_boot_image $boot_modules
append qemu_args "-nographic"
+
run_genode_until forever
+
+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
+}
+
+puts "$succeeded of $rounds rounds succeeded."
+
diff --git a/repos/mml/run/hello_mxtask.run b/repos/mml/run/hello_mxtask.run
index 3bc51d944f..39730e2cd0 100644
--- a/repos/mml/run/hello_mxtask.run
+++ b/repos/mml/run/hello_mxtask.run
@@ -1,5 +1,5 @@
set build_components {
- core init timer app/hello_mxtask
+ core init timer hoitaja app/hello_mxtask
}
source ${genode_dir}/repos/base/run/platform_drv.inc
@@ -19,16 +19,18 @@ set config {
+
+
+
-
-
+
@@ -36,21 +38,50 @@ set config {
}
-append_platform_drv_config
-
append config {
-
-
-
-
-
-
- 2022-07-20 14:30
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 2022-07-20 14:30
+
+
+
+
+
+
+
+
+
}
@@ -58,7 +89,7 @@ append config {
install_config $config
set boot_modules {
- core init timer vfs.lib.so libm.lib.so libc.lib.so stdcxx.lib.so ld.lib.so hello_mxtask
+ core init timer vfs.lib.so libm.lib.so libc.lib.so stdcxx.lib.so ld.lib.so hello_mxtask hoitaja
}
append_platform_drv_boot_modules
diff --git a/repos/mml/run/portal_experiment.run b/repos/mml/run/portal_experiment.run
index f79b9a81c6..b0b786cdcf 100644
--- a/repos/mml/run/portal_experiment.run
+++ b/repos/mml/run/portal_experiment.run
@@ -30,7 +30,7 @@ install_config {
-
+
@@ -100,7 +100,6 @@ install_config {
- -->
@@ -108,6 +107,7 @@ install_config {
+ -->