diff --git a/repos/base-linux/run/lx_hybrid_ctors.run b/repos/base-linux/run/lx_hybrid_ctors.run
index 2cac8f478..da52b4194 100644
--- a/repos/base-linux/run/lx_hybrid_ctors.run
+++ b/repos/base-linux/run/lx_hybrid_ctors.run
@@ -32,6 +32,7 @@ install_config {
+
diff --git a/repos/base-linux/run/lx_hybrid_exception.run b/repos/base-linux/run/lx_hybrid_exception.run
index b6fda192d..5bd1b5cd5 100644
--- a/repos/base-linux/run/lx_hybrid_exception.run
+++ b/repos/base-linux/run/lx_hybrid_exception.run
@@ -31,6 +31,7 @@ install_config {
+
diff --git a/repos/base-linux/run/lx_hybrid_pthread_ipc.run b/repos/base-linux/run/lx_hybrid_pthread_ipc.run
index ba3d9d82e..8380ccade 100644
--- a/repos/base-linux/run/lx_hybrid_pthread_ipc.run
+++ b/repos/base-linux/run/lx_hybrid_pthread_ipc.run
@@ -28,6 +28,7 @@ install_config {
+
diff --git a/repos/base-linux/run/lx_rmap.inc b/repos/base-linux/run/lx_rmap.inc
index 1e32f14aa..19525a082 100644
--- a/repos/base-linux/run/lx_rmap.inc
+++ b/repos/base-linux/run/lx_rmap.inc
@@ -27,16 +27,14 @@ set config {
-
+
-
-
-
- }
+
+ }
append_if [expr {$test_type eq "static"}] config {
}
diff --git a/repos/base-linux/run/region_map_mmap.run b/repos/base-linux/run/region_map_mmap.run
index 6ea2fee1f..7965f8c63 100644
--- a/repos/base-linux/run/region_map_mmap.run
+++ b/repos/base-linux/run/region_map_mmap.run
@@ -18,6 +18,7 @@ install_config {
+
diff --git a/repos/base-nova/run/platform.run b/repos/base-nova/run/platform.run
index 9991593a8..ae9869bde 100644
--- a/repos/base-nova/run/platform.run
+++ b/repos/base-nova/run/platform.run
@@ -20,8 +20,8 @@ set config {
-
- }
+
+ }
append config "
"
@@ -35,7 +35,7 @@ install_config $config
build_boot_image "core ld.lib.so init test-platform"
-append qemu_args "-nographic -m 128 -smp 2"
+append qemu_args "-nographic -m 192 -smp 2"
run_genode_until {Test finished} 200
diff --git a/repos/base-nova/src/test/platform/main.cc b/repos/base-nova/src/test/platform/main.cc
index fd908c851..345803937 100644
--- a/repos/base-nova/src/test/platform/main.cc
+++ b/repos/base-nova/src/test/platform/main.cc
@@ -24,7 +24,6 @@
#include
#include
-#include
#include
@@ -270,7 +269,7 @@ void test_revoke(Genode::Env &env)
void test_pat(Genode::Env &env)
{
/* read out the tsc frequenzy once */
- Genode::Attached_rom_dataspace _ds("hypervisor_info_page");
+ Genode::Attached_rom_dataspace _ds(env, "hypervisor_info_page");
Nova::Hip * const hip = _ds.local_addr();
enum { DS_ORDER = 12, PAGE_4K = 12 };
@@ -601,9 +600,6 @@ class Greedy : public Genode::Thread {
/* print status information in interval of 32M */
if (i % 8192 == 0) {
- /* transfer some quota to avoid tons of upgrade messages */
- char const * const buf = "ram_quota=1280K";
- _env.upgrade(Genode::Parent::Env::pd(), buf);
log(Hex(i * 4096));
/* trigger some work to see quota in kernel decreasing */
// Nova::Rights rwx(true, true, true);
@@ -647,8 +643,13 @@ Main::Main(Env &env) : env(env)
log("testing base-nova platform");
try {
- Genode::config()->xml_node().attribute("check_pat").value(&check_pat);
- } catch (...) { }
+ Attached_rom_dataspace config(env, "config");
+ config.xml().attribute("check_pat").value(&check_pat);
+ } catch (...) {
+ Genode::error("no check_pat attribute found");
+ env.parent().exit(-__LINE__);
+ return;
+ }
Thread * myself = Thread::myself();
if (!myself) {
diff --git a/repos/base/run/ada.run b/repos/base/run/ada.run
index 7181d7d6a..9bc00dd69 100644
--- a/repos/base/run/ada.run
+++ b/repos/base/run/ada.run
@@ -14,6 +14,7 @@ install_config {
+
diff --git a/repos/base/run/affinity.run b/repos/base/run/affinity.run
index 599329e88..306abac83 100644
--- a/repos/base/run/affinity.run
+++ b/repos/base/run/affinity.run
@@ -37,7 +37,8 @@ set config {
- }
+
+ }
append_if [have_spec arndale] config {
diff --git a/repos/base/run/ds_ownership.run b/repos/base/run/ds_ownership.run
index 009a0e8f8..244ce77c7 100644
--- a/repos/base/run/ds_ownership.run
+++ b/repos/base/run/ds_ownership.run
@@ -13,7 +13,7 @@ install_config {
-
+
diff --git a/repos/base/run/fpu.run b/repos/base/run/fpu.run
index 53c846a5f..29433c9eb 100644
--- a/repos/base/run/fpu.run
+++ b/repos/base/run/fpu.run
@@ -23,6 +23,7 @@ install_config {
+
diff --git a/repos/base/run/log.run b/repos/base/run/log.run
index d70835805..87acbe289 100644
--- a/repos/base/run/log.run
+++ b/repos/base/run/log.run
@@ -14,6 +14,7 @@ install_config {
+
diff --git a/repos/base/run/mp_server.run b/repos/base/run/mp_server.run
index 6c932bf50..0210ad837 100644
--- a/repos/base/run/mp_server.run
+++ b/repos/base/run/mp_server.run
@@ -21,6 +21,7 @@ install_config {
+
diff --git a/repos/base/run/new_delete.run b/repos/base/run/new_delete.run
index f82790c32..d582c854e 100644
--- a/repos/base/run/new_delete.run
+++ b/repos/base/run/new_delete.run
@@ -14,6 +14,7 @@ install_config {
+
diff --git a/repos/base/run/platform_drv.inc b/repos/base/run/platform_drv.inc
index 2f05d367a..3237a1b62 100644
--- a/repos/base/run/platform_drv.inc
+++ b/repos/base/run/platform_drv.inc
@@ -129,10 +129,8 @@ proc platform_drv_config {} {
if {[have_spec acpi]} {
- append drv_config "
- "
-
append drv_config {
+
@@ -172,10 +170,8 @@ proc platform_drv_config {} {
if {[have_platform_drv]} {
- append drv_config "
- "
-
append drv_config {
+
}
diff --git a/repos/base/run/reconstructible.run b/repos/base/run/reconstructible.run
index 1abad5d69..765d3ac86 100644
--- a/repos/base/run/reconstructible.run
+++ b/repos/base/run/reconstructible.run
@@ -15,6 +15,7 @@ install_config {
+
diff --git a/repos/base/run/rm_fault.run b/repos/base/run/rm_fault.run
index 2c483032b..2f1080114 100644
--- a/repos/base/run/rm_fault.run
+++ b/repos/base/run/rm_fault.run
@@ -18,7 +18,7 @@ install_config {
-
+
diff --git a/repos/base/run/rm_nested.run b/repos/base/run/rm_nested.run
index 88482df46..a67da07db 100644
--- a/repos/base/run/rm_nested.run
+++ b/repos/base/run/rm_nested.run
@@ -18,6 +18,7 @@ install_config {
+
diff --git a/repos/base/run/slab.run b/repos/base/run/slab.run
index a43503227..4f7ae448f 100644
--- a/repos/base/run/slab.run
+++ b/repos/base/run/slab.run
@@ -23,6 +23,7 @@ install_config {
+
diff --git a/repos/base/run/sub_rm.run b/repos/base/run/sub_rm.run
index 237f92415..de84c3311 100644
--- a/repos/base/run/sub_rm.run
+++ b/repos/base/run/sub_rm.run
@@ -15,6 +15,7 @@ install_config {
+
diff --git a/repos/base/run/synced_interface.run b/repos/base/run/synced_interface.run
index f91b1e503..6690e0dd7 100644
--- a/repos/base/run/synced_interface.run
+++ b/repos/base/run/synced_interface.run
@@ -15,6 +15,7 @@ install_config {
+
diff --git a/repos/base/run/thread.run b/repos/base/run/thread.run
index 9d23b6d4c..40625c8a0 100644
--- a/repos/base/run/thread.run
+++ b/repos/base/run/thread.run
@@ -25,7 +25,7 @@ set config {
-
+
}
diff --git a/repos/base/run/util_mmio.run b/repos/base/run/util_mmio.run
index fe600f44a..86f7e62d2 100644
--- a/repos/base/run/util_mmio.run
+++ b/repos/base/run/util_mmio.run
@@ -24,6 +24,7 @@ install_config {
+
diff --git a/repos/dde_bsd/run/audio_in.run b/repos/dde_bsd/run/audio_in.run
index eb2161614..bae56d7a6 100644
--- a/repos/dde_bsd/run/audio_in.run
+++ b/repos/dde_bsd/run/audio_in.run
@@ -49,6 +49,7 @@ append config {
+
diff --git a/repos/dde_bsd/run/audio_out.run b/repos/dde_bsd/run/audio_out.run
index 853c02a42..9e9cda288 100644
--- a/repos/dde_bsd/run/audio_out.run
+++ b/repos/dde_bsd/run/audio_out.run
@@ -52,6 +52,7 @@ append config {
+
diff --git a/repos/dde_linux/run/intel_fb.run b/repos/dde_linux/run/intel_fb.run
index c2c104834..5a723e2ca 100644
--- a/repos/dde_linux/run/intel_fb.run
+++ b/repos/dde_linux/run/intel_fb.run
@@ -38,7 +38,8 @@ append config {
- }
+
+ }
append_platform_drv_config
@@ -83,7 +84,7 @@ append config {
-
+
diff --git a/repos/dde_linux/run/lxip_http_srv.run b/repos/dde_linux/run/lxip_http_srv.run
index 4dfd0b05d..50995d0cb 100644
--- a/repos/dde_linux/run/lxip_http_srv.run
+++ b/repos/dde_linux/run/lxip_http_srv.run
@@ -49,11 +49,12 @@ set config {
+
-
+
@@ -84,7 +85,7 @@ append_platform_drv_config
append_if $use_nic_driver config {
-
+
}
diff --git a/repos/dde_linux/run/lxip_udp_echo.run b/repos/dde_linux/run/lxip_udp_echo.run
index 93f54835a..3b38c5665 100644
--- a/repos/dde_linux/run/lxip_udp_echo.run
+++ b/repos/dde_linux/run/lxip_udp_echo.run
@@ -47,11 +47,12 @@ append config {
+
-
+
@@ -83,7 +84,7 @@ append_platform_drv_config
append_if $use_nic_driver config {
-
+
}
diff --git a/repos/dde_linux/run/usb_hid.run b/repos/dde_linux/run/usb_hid.run
index 379a5bc61..4805e3ca8 100644
--- a/repos/dde_linux/run/usb_hid.run
+++ b/repos/dde_linux/run/usb_hid.run
@@ -96,7 +96,8 @@ append config {
- }
+
+ }
append_if [have_spec gpio] config "
diff --git a/repos/dde_linux/run/usb_hid_panda.run b/repos/dde_linux/run/usb_hid_panda.run
index 33a0a6b1d..71c744417 100644
--- a/repos/dde_linux/run/usb_hid_panda.run
+++ b/repos/dde_linux/run/usb_hid_panda.run
@@ -33,6 +33,7 @@ append config {
+
diff --git a/repos/dde_linux/run/usb_net.run b/repos/dde_linux/run/usb_net.run
index 0e34ad86b..98b0f008c 100644
--- a/repos/dde_linux/run/usb_net.run
+++ b/repos/dde_linux/run/usb_net.run
@@ -50,12 +50,13 @@ set config {
+
-
+
@@ -64,11 +65,10 @@ set config {
-
+
-
-
-
+
+
}
@@ -94,7 +94,7 @@ install_config $config
# generic modules
set boot_modules {
core ld.lib.so init timer usb_drv
- libc.lib.so lwip.lib.so posix.lib.so test-lwip_httpsrv
+ libc.lib.so libm.lib.so lwip.lib.so posix.lib.so test-lwip_httpsrv
}
append_platform_drv_boot_modules
@@ -105,4 +105,5 @@ build_boot_image $boot_modules
append qemu_args " -m 256 -nographic"
run_genode_until forever
+
# vi: set ft=tcl :
diff --git a/repos/dde_linux/run/usb_storage.run b/repos/dde_linux/run/usb_storage.run
index 8eae6a82d..90735032a 100644
--- a/repos/dde_linux/run/usb_storage.run
+++ b/repos/dde_linux/run/usb_storage.run
@@ -47,7 +47,8 @@ set config {
- }
+
+ }
append_platform_drv_config
diff --git a/repos/dde_linux/run/usb_terminal.run b/repos/dde_linux/run/usb_terminal.run
index fc214fc85..aa4c9686d 100644
--- a/repos/dde_linux/run/usb_terminal.run
+++ b/repos/dde_linux/run/usb_terminal.run
@@ -54,7 +54,8 @@ append config {
- }
+
+ }
append_if [have_spec gpio] config "
diff --git a/repos/dde_linux/run/vfs_cfg.run b/repos/dde_linux/run/vfs_cfg.run
index fd6413218..dae2ff2bf 100644
--- a/repos/dde_linux/run/vfs_cfg.run
+++ b/repos/dde_linux/run/vfs_cfg.run
@@ -30,13 +30,14 @@ append config {
+
-
+
@@ -63,7 +64,7 @@ append config {
-
+
diff --git a/repos/dde_linux/run/vfs_lxip.run b/repos/dde_linux/run/vfs_lxip.run
index 461383cc5..62c8ea5fb 100644
--- a/repos/dde_linux/run/vfs_lxip.run
+++ b/repos/dde_linux/run/vfs_lxip.run
@@ -34,13 +34,14 @@ append config {
+
-
+
-
+
diff --git a/repos/dde_linux/run/wifi.run b/repos/dde_linux/run/wifi.run
index 74db066f6..fb38c6d72 100644
--- a/repos/dde_linux/run/wifi.run
+++ b/repos/dde_linux/run/wifi.run
@@ -45,6 +45,7 @@ set config {
+
@@ -82,7 +83,7 @@ append config {
-
+
diff --git a/repos/dde_rump/run/libc_vfs_ext2.run b/repos/dde_rump/run/libc_vfs_ext2.run
index e931005c1..5305dbcf2 100644
--- a/repos/dde_rump/run/libc_vfs_ext2.run
+++ b/repos/dde_rump/run/libc_vfs_ext2.run
@@ -48,6 +48,7 @@ append config {
+
@@ -57,7 +58,7 @@ append config {
-
+
diff --git a/repos/dde_rump/run/rump_ext2.run b/repos/dde_rump/run/rump_ext2.run
index 82a2a776e..2cff66fbe 100644
--- a/repos/dde_rump/run/rump_ext2.run
+++ b/repos/dde_rump/run/rump_ext2.run
@@ -48,6 +48,7 @@ append config {
+
@@ -57,7 +58,7 @@ append config {
-
+
diff --git a/repos/dde_rump/run/vfs_stress_ext2.run b/repos/dde_rump/run/vfs_stress_ext2.run
index c06912775..f27659606 100644
--- a/repos/dde_rump/run/vfs_stress_ext2.run
+++ b/repos/dde_rump/run/vfs_stress_ext2.run
@@ -36,6 +36,7 @@ install_config {
+
@@ -45,7 +46,7 @@ install_config {
-
+
diff --git a/repos/dde_rump/run/vfs_stress_rump_fs.run b/repos/dde_rump/run/vfs_stress_rump_fs.run
index 8768d76d1..2d7fd2d2a 100644
--- a/repos/dde_rump/run/vfs_stress_rump_fs.run
+++ b/repos/dde_rump/run/vfs_stress_rump_fs.run
@@ -36,6 +36,7 @@ install_config {
+
@@ -51,11 +52,11 @@ install_config {
-
+
-
+
diff --git a/repos/demo/src/app/launchpad/README b/repos/demo/src/app/launchpad/README
index bba19e350..cadc665c0 100644
--- a/repos/demo/src/app/launchpad/README
+++ b/repos/demo/src/app/launchpad/README
@@ -8,8 +8,8 @@ following example configuration tells launchpad to display a list of three
launcher entries:
!
-!
-!
-!
+!
+!
+!
!
diff --git a/repos/gems/recipes/raw/themed_wm/decorator_init.config b/repos/gems/recipes/raw/themed_wm/decorator_init.config
index cb95492f2..acb2a7dac 100644
--- a/repos/gems/recipes/raw/themed_wm/decorator_init.config
+++ b/repos/gems/recipes/raw/themed_wm/decorator_init.config
@@ -9,7 +9,7 @@
-
+
diff --git a/repos/gems/recipes/raw/themed_wm/wm.config b/repos/gems/recipes/raw/themed_wm/wm.config
deleted file mode 100644
index 82aecb7c6..000000000
--- a/repos/gems/recipes/raw/themed_wm/wm.config
+++ /dev/null
@@ -1,89 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/repos/gems/recipes/raw/wm/decorator_init.config b/repos/gems/recipes/raw/wm/decorator_init.config
index 52941f964..c5e3e87ac 100644
--- a/repos/gems/recipes/raw/wm/decorator_init.config
+++ b/repos/gems/recipes/raw/wm/decorator_init.config
@@ -9,7 +9,7 @@
-
+
diff --git a/repos/gems/recipes/raw/wm/wm.config b/repos/gems/recipes/raw/wm/wm.config
index 82aecb7c6..e638ec176 100644
--- a/repos/gems/recipes/raw/wm/wm.config
+++ b/repos/gems/recipes/raw/wm/wm.config
@@ -13,6 +13,8 @@
+
+
@@ -35,7 +37,7 @@
-
+
@@ -69,7 +71,7 @@
-
+
diff --git a/repos/gems/run/cpu_load_display.run b/repos/gems/run/cpu_load_display.run
index bb1ef668b..579d8bdd8 100644
--- a/repos/gems/run/cpu_load_display.run
+++ b/repos/gems/run/cpu_load_display.run
@@ -53,7 +53,8 @@ append config {
- }
+
+ }
append_if [have_spec sdl] config {
@@ -67,7 +68,7 @@ append_if [have_spec sdl] config {
append_platform_drv_config
append_if [have_spec framebuffer] config {
-
+
diff --git a/repos/gems/run/cpu_sampler.run b/repos/gems/run/cpu_sampler.run
index 52de9114f..cd64025d9 100644
--- a/repos/gems/run/cpu_sampler.run
+++ b/repos/gems/run/cpu_sampler.run
@@ -36,6 +36,7 @@ install_config {
+
diff --git a/repos/gems/run/cpu_sampler_noux.run b/repos/gems/run/cpu_sampler_noux.run
index 89af0e765..50ca49d87 100644
--- a/repos/gems/run/cpu_sampler_noux.run
+++ b/repos/gems/run/cpu_sampler_noux.run
@@ -77,6 +77,7 @@ append config {
+
@@ -185,7 +186,7 @@ append config {
-
+
diff --git a/repos/gems/run/launcher.run b/repos/gems/run/launcher.run
index d9b373140..b0f838450 100644
--- a/repos/gems/run/launcher.run
+++ b/repos/gems/run/launcher.run
@@ -31,12 +31,14 @@ install_config {
+
+
-
+
@@ -49,7 +51,7 @@ install_config {
-
+
@@ -214,38 +216,38 @@ install_config {
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
diff --git a/repos/gems/run/mixer_gui_qt_test.run b/repos/gems/run/mixer_gui_qt_test.run
index 917397e4a..d98067322 100644
--- a/repos/gems/run/mixer_gui_qt_test.run
+++ b/repos/gems/run/mixer_gui_qt_test.run
@@ -50,6 +50,7 @@ set config {
+
@@ -111,7 +112,7 @@ append config {
-
+
@@ -179,7 +180,7 @@ append config {
-
+
diff --git a/repos/gems/run/tcp_terminal.run b/repos/gems/run/tcp_terminal.run
index 0a61f9e14..050d7738a 100644
--- a/repos/gems/run/tcp_terminal.run
+++ b/repos/gems/run/tcp_terminal.run
@@ -49,6 +49,7 @@ set config {
+
@@ -57,7 +58,7 @@ set config {
-
+
diff --git a/repos/gems/run/terminal_echo.run b/repos/gems/run/terminal_echo.run
index 81705aae2..b294c5f4e 100644
--- a/repos/gems/run/terminal_echo.run
+++ b/repos/gems/run/terminal_echo.run
@@ -30,6 +30,7 @@ append config {
+
}
append_if [have_spec sdl] config {
@@ -46,7 +47,7 @@ append_if [have_spec sdl] config {
append_platform_drv_config
append_if [have_spec framebuffer] config {
-
+
diff --git a/repos/gems/run/terminal_log.run b/repos/gems/run/terminal_log.run
index 11383e0f8..a1611c6b7 100644
--- a/repos/gems/run/terminal_log.run
+++ b/repos/gems/run/terminal_log.run
@@ -46,6 +46,7 @@ append config {
+
@@ -66,7 +67,7 @@ append_if [have_spec sdl] config {
append_platform_drv_config
append_if [have_spec framebuffer] config {
-
+
}
diff --git a/repos/gems/run/wm.run b/repos/gems/run/wm.run
index bf5fc0673..815401a5d 100644
--- a/repos/gems/run/wm.run
+++ b/repos/gems/run/wm.run
@@ -31,13 +31,14 @@ install_config {
+
-
+
@@ -70,7 +71,7 @@ install_config {
-
+
@@ -81,19 +82,19 @@ install_config {
-
+
-
+
-
+
-
+
diff --git a/repos/hello_tutorial/run/hello.run b/repos/hello_tutorial/run/hello.run
index e0f80e575..744321e63 100644
--- a/repos/hello_tutorial/run/hello.run
+++ b/repos/hello_tutorial/run/hello.run
@@ -22,6 +22,7 @@ install_config {
+
diff --git a/repos/libports/run/acpica.run b/repos/libports/run/acpica.run
index cc69a92c9..7f6d00c0a 100644
--- a/repos/libports/run/acpica.run
+++ b/repos/libports/run/acpica.run
@@ -64,6 +64,7 @@ set config {
+
diff --git a/repos/libports/run/avplay.run b/repos/libports/run/avplay.run
index bea07d4de..95ea1a57d 100644
--- a/repos/libports/run/avplay.run
+++ b/repos/libports/run/avplay.run
@@ -46,6 +46,7 @@ set config {
+
}
append_if [have_spec sdl] config {
@@ -87,7 +88,7 @@ append config {
-
+
diff --git a/repos/libports/run/eglgears.run b/repos/libports/run/eglgears.run
index 5e3e0a664..9bffdee7b 100644
--- a/repos/libports/run/eglgears.run
+++ b/repos/libports/run/eglgears.run
@@ -28,13 +28,15 @@ set config {
+
+
}
append_if [have_spec sdl] config {
-
+
@@ -45,7 +47,7 @@ append_if [have_spec sdl] config {
append_platform_drv_config
append_if [have_spec framebuffer] config {
-
+
}
@@ -75,10 +77,10 @@ append config {
-
+
-
+
@@ -94,6 +96,7 @@ append config {
+
diff --git a/repos/libports/run/ldso.run b/repos/libports/run/ldso.run
index b73c1a5e9..84867bbac 100644
--- a/repos/libports/run/ldso.run
+++ b/repos/libports/run/ldso.run
@@ -14,6 +14,7 @@ set config {
+
diff --git a/repos/libports/run/libc.run b/repos/libports/run/libc.run
index e4ecbe9f5..4af7229bd 100644
--- a/repos/libports/run/libc.run
+++ b/repos/libports/run/libc.run
@@ -19,6 +19,7 @@ install_config {
+
diff --git a/repos/libports/run/libc_block.run b/repos/libports/run/libc_block.run
index 9df8fd3e2..d8c9b6940 100644
--- a/repos/libports/run/libc_block.run
+++ b/repos/libports/run/libc_block.run
@@ -52,6 +52,7 @@ set config {
+
diff --git a/repos/libports/run/libc_component.run b/repos/libports/run/libc_component.run
index 36183e8e4..82ae1afff 100644
--- a/repos/libports/run/libc_component.run
+++ b/repos/libports/run/libc_component.run
@@ -28,6 +28,7 @@ append config {
+
diff --git a/repos/libports/run/libc_counter.run b/repos/libports/run/libc_counter.run
index c0ca9db11..c8f470020 100644
--- a/repos/libports/run/libc_counter.run
+++ b/repos/libports/run/libc_counter.run
@@ -27,6 +27,7 @@ append config {
+
diff --git a/repos/libports/run/libc_ffat_fs.run b/repos/libports/run/libc_ffat_fs.run
index 5701c4803..fea38c418 100644
--- a/repos/libports/run/libc_ffat_fs.run
+++ b/repos/libports/run/libc_ffat_fs.run
@@ -53,6 +53,7 @@ set config {
+
diff --git a/repos/libports/run/libc_filesystem_test.inc b/repos/libports/run/libc_filesystem_test.inc
index 8268f506b..f588ec982 100644
--- a/repos/libports/run/libc_filesystem_test.inc
+++ b/repos/libports/run/libc_filesystem_test.inc
@@ -70,6 +70,7 @@ set config {
+
diff --git a/repos/libports/run/libc_getenv.run b/repos/libports/run/libc_getenv.run
index 986c2d156..6c60829e1 100644
--- a/repos/libports/run/libc_getenv.run
+++ b/repos/libports/run/libc_getenv.run
@@ -15,6 +15,7 @@ install_config {
+
diff --git a/repos/libports/run/libc_pipe.run b/repos/libports/run/libc_pipe.run
index ac99831fd..3113b3958 100644
--- a/repos/libports/run/libc_pipe.run
+++ b/repos/libports/run/libc_pipe.run
@@ -19,6 +19,7 @@ install_config {
+
diff --git a/repos/libports/run/libc_select.run b/repos/libports/run/libc_select.run
index c5e1dfba6..613c68066 100644
--- a/repos/libports/run/libc_select.run
+++ b/repos/libports/run/libc_select.run
@@ -24,6 +24,7 @@ set config {
+
diff --git a/repos/libports/run/libc_vfs.run b/repos/libports/run/libc_vfs.run
index 45d0bf1b5..ad27c9e80 100644
--- a/repos/libports/run/libc_vfs.run
+++ b/repos/libports/run/libc_vfs.run
@@ -29,6 +29,7 @@ set config {
+
diff --git a/repos/libports/run/libc_vfs_block.run b/repos/libports/run/libc_vfs_block.run
index 8e51ead5d..dd8ce110a 100644
--- a/repos/libports/run/libc_vfs_block.run
+++ b/repos/libports/run/libc_vfs_block.run
@@ -29,6 +29,7 @@ set config {
+
diff --git a/repos/libports/run/libc_vfs_component.run b/repos/libports/run/libc_vfs_component.run
index 45ef119ce..0947909ad 100644
--- a/repos/libports/run/libc_vfs_component.run
+++ b/repos/libports/run/libc_vfs_component.run
@@ -28,6 +28,7 @@ append config {
+
diff --git a/repos/libports/run/libc_vfs_counter.run b/repos/libports/run/libc_vfs_counter.run
index 9efa39581..4e9b0597b 100644
--- a/repos/libports/run/libc_vfs_counter.run
+++ b/repos/libports/run/libc_vfs_counter.run
@@ -28,6 +28,7 @@ append config {
+
diff --git a/repos/libports/run/libc_vfs_fs.run b/repos/libports/run/libc_vfs_fs.run
index 4fe0fc757..83072e2a1 100644
--- a/repos/libports/run/libc_vfs_fs.run
+++ b/repos/libports/run/libc_vfs_fs.run
@@ -29,6 +29,7 @@ set config {
+
diff --git a/repos/libports/run/libc_vfs_ram.run b/repos/libports/run/libc_vfs_ram.run
index 486b82d32..67229ddd4 100644
--- a/repos/libports/run/libc_vfs_ram.run
+++ b/repos/libports/run/libc_vfs_ram.run
@@ -29,7 +29,7 @@ set config {
-
+
diff --git a/repos/libports/run/libc_vfs_select.run b/repos/libports/run/libc_vfs_select.run
index 6886a3f35..a19c43434 100644
--- a/repos/libports/run/libc_vfs_select.run
+++ b/repos/libports/run/libc_vfs_select.run
@@ -24,6 +24,7 @@ set config {
+
diff --git a/repos/libports/run/libc_with_libc.run b/repos/libports/run/libc_with_libc.run
index 60cf53621..79e9c78c3 100644
--- a/repos/libports/run/libc_with_libc.run
+++ b/repos/libports/run/libc_with_libc.run
@@ -26,6 +26,7 @@ set config {
+
diff --git a/repos/libports/run/lwip.run b/repos/libports/run/lwip.run
index 6dd70dbf1..1a7a4594b 100644
--- a/repos/libports/run/lwip.run
+++ b/repos/libports/run/lwip.run
@@ -72,6 +72,7 @@ set config {
+
diff --git a/repos/libports/run/lwip_lx.run b/repos/libports/run/lwip_lx.run
index 4d8dd0746..debb9450d 100644
--- a/repos/libports/run/lwip_lx.run
+++ b/repos/libports/run/lwip_lx.run
@@ -32,6 +32,7 @@ set config {
+
diff --git a/repos/libports/run/moon.run b/repos/libports/run/moon.run
index 57f153f33..bbd8f502b 100644
--- a/repos/libports/run/moon.run
+++ b/repos/libports/run/moon.run
@@ -21,6 +21,7 @@ install_config {
+
@@ -42,4 +43,4 @@ build_boot_image {
append qemu_args " -nographic -m 65 "
-run_genode_until {.*test-moon.*Finished\..*} 30
+run_genode_until {.*test-moon.*Finished\..*} 40
diff --git a/repos/libports/run/mupdf.run b/repos/libports/run/mupdf.run
index 074f144e6..ff5d4d81d 100644
--- a/repos/libports/run/mupdf.run
+++ b/repos/libports/run/mupdf.run
@@ -28,6 +28,7 @@ set config {
+
}
append_if [have_spec sdl] config {
@@ -42,7 +43,7 @@ append_if [have_spec sdl] config {
append_platform_drv_config
append_if [have_spec framebuffer] config {
-
+
}
diff --git a/repos/libports/run/netty.inc b/repos/libports/run/netty.inc
index a696d20c8..a4fcf62f8 100644
--- a/repos/libports/run/netty.inc
+++ b/repos/libports/run/netty.inc
@@ -27,6 +27,7 @@ append config {
+
@@ -42,7 +43,7 @@ append config {
-
+
diff --git a/repos/libports/run/nic_bridge.run b/repos/libports/run/nic_bridge.run
index 5cb7720e0..5b2335ed8 100644
--- a/repos/libports/run/nic_bridge.run
+++ b/repos/libports/run/nic_bridge.run
@@ -37,7 +37,8 @@ append config {
- }
+
+ }
append_platform_drv_config
@@ -51,7 +52,7 @@ append config {
-
+
diff --git a/repos/libports/run/nic_dump.run b/repos/libports/run/nic_dump.run
index 8bde36d1b..13c979d04 100644
--- a/repos/libports/run/nic_dump.run
+++ b/repos/libports/run/nic_dump.run
@@ -91,7 +91,7 @@ proc ram_quota { prot } {
proc client_config { prot index ip_addr gateway netmask nic srv_port srv_ip } {
append result {
-
+
@@ -109,7 +109,7 @@ proc client_config { prot index ip_addr gateway netmask nic srv_port srv_ip } {
proc server_config { prot index ip_addr gateway netmask nic port } {
append result {
-
+
@@ -155,6 +155,8 @@ append config {
+
+
} [gpio_drv_config] {
} [nic_drv_config] {
} [platform_drv_config] {
@@ -221,7 +223,7 @@ append config {
-
+
diff --git a/repos/libports/run/nic_router.run b/repos/libports/run/nic_router.run
index 9cc63611a..b6b8f4f89 100644
--- a/repos/libports/run/nic_router.run
+++ b/repos/libports/run/nic_router.run
@@ -95,7 +95,7 @@ proc ram_quota { prot } {
proc client_config { prot index ip_addr gateway netmask nic srv_port srv_ip } {
append result {
-
+
@@ -113,7 +113,7 @@ proc client_config { prot index ip_addr gateway netmask nic srv_port srv_ip } {
proc server_config { prot index ip_addr gateway netmask nic port } {
append result {
-
+
@@ -183,6 +183,8 @@ append config {
+
+
} [gpio_drv_config] {
} [nic_drv_config] {
} [platform_drv_config] {
@@ -192,7 +194,7 @@ append config {
-
+
@@ -239,7 +241,7 @@ append config {
-
+
diff --git a/repos/libports/run/pthread.run b/repos/libports/run/pthread.run
index 6d8f77018..ee2fcceb2 100644
--- a/repos/libports/run/pthread.run
+++ b/repos/libports/run/pthread.run
@@ -19,6 +19,7 @@ install_config {
+
diff --git a/repos/libports/run/python.run b/repos/libports/run/python.run
index 144c5a585..52f9f4c22 100644
--- a/repos/libports/run/python.run
+++ b/repos/libports/run/python.run
@@ -35,6 +35,7 @@ set config {
+
diff --git a/repos/libports/run/qt5.run b/repos/libports/run/qt5.run
index a876f53ce..2bd98b667 100644
--- a/repos/libports/run/qt5.run
+++ b/repos/libports/run/qt5.run
@@ -34,6 +34,7 @@ append config {
append config [qt5_parent_provides feature]
append config {
+
}
@@ -41,7 +42,7 @@ append config {
append config [qt5_start_nodes feature]
append config {
-
+
@@ -49,7 +50,7 @@ append config {
-
+
@@ -58,7 +59,7 @@ append config {
-
+
diff --git a/repos/libports/run/qt5_avplay.run b/repos/libports/run/qt5_avplay.run
index c5541e62b..cd9d4ba9f 100644
--- a/repos/libports/run/qt5_avplay.run
+++ b/repos/libports/run/qt5_avplay.run
@@ -43,6 +43,7 @@ append config {
append config [qt5_parent_provides feature]
append config {
+
}
@@ -50,7 +51,7 @@ append config {
append config [qt5_start_nodes feature]
append config {
-
+
diff --git a/repos/libports/run/qt5_calculatorform.run b/repos/libports/run/qt5_calculatorform.run
index 9ccfaabb2..21ed876ef 100644
--- a/repos/libports/run/qt5_calculatorform.run
+++ b/repos/libports/run/qt5_calculatorform.run
@@ -31,6 +31,7 @@ append config {
append config [qt5_parent_provides feature]
append config {
+
}
@@ -38,7 +39,7 @@ append config {
append config [qt5_start_nodes feature]
append config {
-
+
diff --git a/repos/libports/run/qt5_common.inc b/repos/libports/run/qt5_common.inc
index 9c52113ec..48ba69fa1 100644
--- a/repos/libports/run/qt5_common.inc
+++ b/repos/libports/run/qt5_common.inc
@@ -105,7 +105,7 @@ proc qt5_start_nodes { feature_arg } {
-
+
diff --git a/repos/libports/run/qt5_openglwindow.run b/repos/libports/run/qt5_openglwindow.run
index 68cd92917..aa1d87437 100644
--- a/repos/libports/run/qt5_openglwindow.run
+++ b/repos/libports/run/qt5_openglwindow.run
@@ -30,6 +30,7 @@ append config {
append config [qt5_parent_provides feature]
append config {
+
}
@@ -37,7 +38,7 @@ append config {
append config [qt5_start_nodes feature]
append config {
-
+
diff --git a/repos/libports/run/qt5_previewer.run b/repos/libports/run/qt5_previewer.run
index 265eb4e68..1cb53aee7 100644
--- a/repos/libports/run/qt5_previewer.run
+++ b/repos/libports/run/qt5_previewer.run
@@ -30,6 +30,7 @@ append config {
append config [qt5_parent_provides feature]
append config {
+
}
@@ -37,7 +38,7 @@ append config {
append config [qt5_start_nodes feature]
append config {
-
+
diff --git a/repos/libports/run/qt5_qpluginwidget.run b/repos/libports/run/qt5_qpluginwidget.run
index 61c6293e7..39998cc37 100644
--- a/repos/libports/run/qt5_qpluginwidget.run
+++ b/repos/libports/run/qt5_qpluginwidget.run
@@ -33,6 +33,7 @@ append config {
append config [qt5_parent_provides feature]
append config {
+
}
@@ -40,7 +41,7 @@ append config {
append config [qt5_start_nodes feature]
append config {
-
+
@@ -52,7 +53,7 @@ append config {
-
+
diff --git a/repos/libports/run/qt5_quicktest.run b/repos/libports/run/qt5_quicktest.run
index ac32974a4..fb49d9656 100644
--- a/repos/libports/run/qt5_quicktest.run
+++ b/repos/libports/run/qt5_quicktest.run
@@ -31,6 +31,7 @@ append config {
append config [qt5_parent_provides feature]
append config {
+
}
@@ -38,7 +39,7 @@ append config {
append config [qt5_start_nodes feature]
append config {
-
+
diff --git a/repos/libports/run/qt5_samegame.run b/repos/libports/run/qt5_samegame.run
index 9281c569a..fa55948e4 100644
--- a/repos/libports/run/qt5_samegame.run
+++ b/repos/libports/run/qt5_samegame.run
@@ -31,6 +31,7 @@ append config {
append config [qt5_parent_provides feature]
append config {
+
}
@@ -38,7 +39,7 @@ append config {
append config [qt5_start_nodes feature]
append config {
-
+
diff --git a/repos/libports/run/qt5_tetrix.run b/repos/libports/run/qt5_tetrix.run
index eabbaaa02..6d0424d7c 100644
--- a/repos/libports/run/qt5_tetrix.run
+++ b/repos/libports/run/qt5_tetrix.run
@@ -30,6 +30,7 @@ append config {
append config [qt5_parent_provides feature]
append config {
+
}
@@ -37,7 +38,7 @@ append config {
append config [qt5_start_nodes feature]
append config {
-
+
diff --git a/repos/libports/run/qt5_textedit.run b/repos/libports/run/qt5_textedit.run
index fa15e67ed..b2cb09d87 100644
--- a/repos/libports/run/qt5_textedit.run
+++ b/repos/libports/run/qt5_textedit.run
@@ -43,6 +43,7 @@ append config {
append config [qt5_parent_provides feature]
append config {
+
}
@@ -86,7 +87,7 @@ append_if [expr ![have_spec linux]] config {
}
append config {
-
+
@@ -97,7 +98,7 @@ append config {
-
+
diff --git a/repos/libports/run/rust.run b/repos/libports/run/rust.run
index f8917a9b0..acd4fe1fc 100644
--- a/repos/libports/run/rust.run
+++ b/repos/libports/run/rust.run
@@ -14,6 +14,7 @@ install_config {
+
diff --git a/repos/libports/run/sdl.run b/repos/libports/run/sdl.run
index 6f639308b..0519a668e 100644
--- a/repos/libports/run/sdl.run
+++ b/repos/libports/run/sdl.run
@@ -35,7 +35,8 @@ append config {
- }
+
+ }
append_if [have_spec sdl] config {
@@ -49,7 +50,7 @@ append_if [have_spec sdl] config {
append_platform_drv_config
append_if [have_spec framebuffer] config {
-
+
}
@@ -85,7 +86,7 @@ set boot_modules {
core init
timer
test-sdl
- ld.lib.so libc.lib.so sdl.lib.so pthread.lib.so
+ ld.lib.so libc.lib.so libm.lib.so sdl.lib.so pthread.lib.so posix.lib.so
}
# platform-specific modules
diff --git a/repos/libports/run/smartcard.run b/repos/libports/run/smartcard.run
index 608174257..1a382cafb 100644
--- a/repos/libports/run/smartcard.run
+++ b/repos/libports/run/smartcard.run
@@ -58,7 +58,8 @@ append config {
- }
+
+ }
append_if [have_spec gpio] config "
@@ -83,7 +84,7 @@ append config {
-
+
diff --git a/repos/libports/run/stdcxx.run b/repos/libports/run/stdcxx.run
index 0b3cdd6b1..7d8c9efad 100644
--- a/repos/libports/run/stdcxx.run
+++ b/repos/libports/run/stdcxx.run
@@ -16,6 +16,7 @@ install_config {
+
diff --git a/repos/libports/src/test/qt5/qpluginwidget/config.plugin b/repos/libports/src/test/qt5/qpluginwidget/config.plugin
index 7ceb44ed2..7e7d25614 100644
--- a/repos/libports/src/test/qt5/qpluginwidget/config.plugin
+++ b/repos/libports/src/test/qt5/qpluginwidget/config.plugin
@@ -12,7 +12,7 @@
-
+
diff --git a/repos/os/recipes/raw/drivers_interactive-linux/drivers.config b/repos/os/recipes/raw/drivers_interactive-linux/drivers.config
index d18d7d42b..1a454ad05 100644
--- a/repos/os/recipes/raw/drivers_interactive-linux/drivers.config
+++ b/repos/os/recipes/raw/drivers_interactive-linux/drivers.config
@@ -14,7 +14,7 @@
-
+
diff --git a/repos/os/recipes/raw/drivers_interactive-pc/drivers.config b/repos/os/recipes/raw/drivers_interactive-pc/drivers.config
index b21f57498..11f6d5b33 100644
--- a/repos/os/recipes/raw/drivers_interactive-pc/drivers.config
+++ b/repos/os/recipes/raw/drivers_interactive-pc/drivers.config
@@ -13,6 +13,8 @@
+
+
@@ -51,7 +53,7 @@
-
+
diff --git a/repos/os/run/blk_cache.run b/repos/os/run/blk_cache.run
index e18bdeb80..63b86e80c 100644
--- a/repos/os/run/blk_cache.run
+++ b/repos/os/run/blk_cache.run
@@ -32,6 +32,7 @@ install_config {
+
diff --git a/repos/os/run/bomb.run b/repos/os/run/bomb.run
index 3b6cb993b..f28574e51 100644
--- a/repos/os/run/bomb.run
+++ b/repos/os/run/bomb.run
@@ -36,12 +36,12 @@ set config {
-
+
-
+
}
diff --git a/repos/os/run/clipboard.run b/repos/os/run/clipboard.run
index 20f3a32c4..c97d4cedd 100644
--- a/repos/os/run/clipboard.run
+++ b/repos/os/run/clipboard.run
@@ -32,6 +32,8 @@ append config {
+
+
diff --git a/repos/os/run/cpu_quota.run b/repos/os/run/cpu_quota.run
index f8f5f0cd9..8bc30e55b 100644
--- a/repos/os/run/cpu_quota.run
+++ b/repos/os/run/cpu_quota.run
@@ -34,12 +34,14 @@ install_config {
+
+
-
+
@@ -60,6 +62,7 @@ install_config {
+
@@ -70,7 +73,7 @@ install_config {
-
+
@@ -92,6 +95,8 @@ install_config {
+
+
diff --git a/repos/os/run/demo.run b/repos/os/run/demo.run
index d9d1131d6..413ad0548 100644
--- a/repos/os/run/demo.run
+++ b/repos/os/run/demo.run
@@ -51,7 +51,8 @@ append config {
- }
+
+ }
append_if [have_spec sdl] config {
@@ -210,7 +211,7 @@ append config {
-
+
}
@@ -222,16 +223,16 @@ install_config $config
#
set launchpad_config_fd [open "bin/launchpad.config" w]
puts $launchpad_config_fd {
-
-
-
+
+
+
-
-
+
+
-
+
diff --git a/repos/os/run/dynamic_config.run b/repos/os/run/dynamic_config.run
index 02f2afb6b..d52489e61 100644
--- a/repos/os/run/dynamic_config.run
+++ b/repos/os/run/dynamic_config.run
@@ -17,6 +17,7 @@ install_config {
+
@@ -25,7 +26,7 @@ install_config {
-
+
diff --git a/repos/os/run/fault_detection.run b/repos/os/run/fault_detection.run
index 44ba71870..4562c1de6 100644
--- a/repos/os/run/fault_detection.run
+++ b/repos/os/run/fault_detection.run
@@ -45,7 +45,7 @@ install_config {
-
+
@@ -56,7 +56,7 @@ install_config {
-
+
diff --git a/repos/os/run/fb_bench.run b/repos/os/run/fb_bench.run
index e49826ba7..226fdd5ab 100644
--- a/repos/os/run/fb_bench.run
+++ b/repos/os/run/fb_bench.run
@@ -47,6 +47,7 @@ append config {
+
@@ -54,7 +55,7 @@ append config {
}
append_if [have_spec gpio] config "
-
+
diff --git a/repos/os/run/framebuffer.run b/repos/os/run/framebuffer.run
index 0d9213854..18ea1f63e 100644
--- a/repos/os/run/framebuffer.run
+++ b/repos/os/run/framebuffer.run
@@ -34,7 +34,7 @@ append config {
-
+
@@ -52,7 +52,7 @@ append_if [have_spec sdl] config {
append_platform_drv_config
append_if [have_spec framebuffer] config {
-
+
}
diff --git a/repos/os/run/fs_log.run b/repos/os/run/fs_log.run
index 76bcd055a..61bf08ad4 100644
--- a/repos/os/run/fs_log.run
+++ b/repos/os/run/fs_log.run
@@ -26,6 +26,7 @@ set config {
+
@@ -50,7 +51,7 @@ set config {
-
+
diff --git a/repos/os/run/init.run b/repos/os/run/init.run
index 57aaa063f..1659b506c 100644
--- a/repos/os/run/init.run
+++ b/repos/os/run/init.run
@@ -29,6 +29,8 @@ append config {
+
+
@@ -63,6 +65,7 @@ append config {
+
@@ -107,6 +110,7 @@ append config {
+
@@ -169,6 +173,7 @@ append config {
+
@@ -222,6 +227,7 @@ append config {
+
@@ -264,6 +270,7 @@ append config {
+
@@ -299,6 +306,7 @@ append config {
+
@@ -331,6 +339,7 @@ append config {
+
@@ -363,6 +372,7 @@ append config {
+
@@ -377,6 +387,7 @@ append config {
+
@@ -398,6 +409,7 @@ append config {
+
@@ -421,6 +433,7 @@ append config {
+
@@ -445,6 +458,7 @@ append config {
+
@@ -469,6 +483,7 @@ append config {
+
@@ -493,6 +508,7 @@ append config {
+
@@ -527,6 +543,7 @@ append config {
+
@@ -553,6 +570,7 @@ append config {
+
@@ -579,6 +597,7 @@ append config {
+
@@ -606,6 +625,7 @@ append config {
+
@@ -637,6 +657,7 @@ append config {
+
@@ -663,6 +684,7 @@ append config {
+
@@ -689,6 +711,7 @@ append config {
+
@@ -718,6 +741,7 @@ append config {
+
@@ -745,6 +769,7 @@ append config {
+
@@ -773,6 +798,7 @@ append config {
+
@@ -802,7 +828,8 @@ append config {
-
+
+
@@ -812,6 +839,7 @@ append config {
+
@@ -868,7 +896,8 @@ append config {
-
+
+
@@ -878,6 +907,7 @@ append config {
+
@@ -916,7 +946,7 @@ append config {
-
+
diff --git a/repos/os/run/init_smp.run b/repos/os/run/init_smp.run
index 1342ff057..c18ba6cd4 100644
--- a/repos/os/run/init_smp.run
+++ b/repos/os/run/init_smp.run
@@ -42,6 +42,7 @@ append config {
+
@@ -53,7 +54,7 @@ append config {
for { set i 0} { $i < ${cpus} } { incr i} {
append config "
-
+
"
append config {
@@ -71,6 +72,7 @@ for { set i 0} { $i < ${cpus} } { incr i} {
+
diff --git a/repos/os/run/input.run b/repos/os/run/input.run
index d38e8a411..604d5a840 100644
--- a/repos/os/run/input.run
+++ b/repos/os/run/input.run
@@ -38,6 +38,7 @@ append config {
+
diff --git a/repos/os/run/input_filter.run b/repos/os/run/input_filter.run
index b96db195d..2b0a1af92 100644
--- a/repos/os/run/input_filter.run
+++ b/repos/os/run/input_filter.run
@@ -41,6 +41,8 @@ append config {
+
+
diff --git a/repos/os/run/loader.run b/repos/os/run/loader.run
index 30b10d18b..70d075eac 100644
--- a/repos/os/run/loader.run
+++ b/repos/os/run/loader.run
@@ -36,7 +36,8 @@ append config {
- }
+
+ }
append_platform_drv_config
@@ -83,7 +84,7 @@ append config {
-
+
}
diff --git a/repos/os/run/nic_loopback.run b/repos/os/run/nic_loopback.run
index f946d6431..2957f437d 100644
--- a/repos/os/run/nic_loopback.run
+++ b/repos/os/run/nic_loopback.run
@@ -32,6 +32,7 @@ append config {
+
diff --git a/repos/os/run/part_blk.run b/repos/os/run/part_blk.run
index bae6515a1..db9756160 100644
--- a/repos/os/run/part_blk.run
+++ b/repos/os/run/part_blk.run
@@ -52,6 +52,7 @@ install_config {
+
diff --git a/repos/os/run/pci.run b/repos/os/run/pci.run
index 92a01a8b1..1bb25ba8e 100644
--- a/repos/os/run/pci.run
+++ b/repos/os/run/pci.run
@@ -36,7 +36,8 @@ append config {
- }
+
+ }
append_platform_drv_config
diff --git a/repos/os/run/ram_fs_chunk.run b/repos/os/run/ram_fs_chunk.run
index bc1ab73ed..699d6cd24 100644
--- a/repos/os/run/ram_fs_chunk.run
+++ b/repos/os/run/ram_fs_chunk.run
@@ -20,6 +20,7 @@ install_config {
+
diff --git a/repos/os/run/report_rom.run b/repos/os/run/report_rom.run
index 871d4cf30..6e3b0e5f6 100644
--- a/repos/os/run/report_rom.run
+++ b/repos/os/run/report_rom.run
@@ -18,6 +18,7 @@ install_config {
+
diff --git a/repos/os/run/resource_request.run b/repos/os/run/resource_request.run
index 342381130..9f6e662e7 100644
--- a/repos/os/run/resource_request.run
+++ b/repos/os/run/resource_request.run
@@ -17,6 +17,7 @@ install_config {
+
@@ -29,7 +30,7 @@ install_config {
-
+
diff --git a/repos/os/run/resource_yield.run b/repos/os/run/resource_yield.run
index 1c221751a..1c28c2c09 100644
--- a/repos/os/run/resource_yield.run
+++ b/repos/os/run/resource_yield.run
@@ -18,11 +18,12 @@ install_config {
+
-
+
diff --git a/repos/os/run/rom_blk.run b/repos/os/run/rom_blk.run
index 3cbbebb78..c6e06dbed 100644
--- a/repos/os/run/rom_blk.run
+++ b/repos/os/run/rom_blk.run
@@ -15,6 +15,7 @@ install_config {
+
diff --git a/repos/os/run/rom_filter.run b/repos/os/run/rom_filter.run
index 4d3b16cc5..0cb241f44 100644
--- a/repos/os/run/rom_filter.run
+++ b/repos/os/run/rom_filter.run
@@ -32,6 +32,8 @@ append config {
+
+
diff --git a/repos/os/run/sd_card_bench.run b/repos/os/run/sd_card_bench.run
index 841135539..bb15c74f3 100644
--- a/repos/os/run/sd_card_bench.run
+++ b/repos/os/run/sd_card_bench.run
@@ -49,7 +49,8 @@ append config {
- }
+
+ }
append_platform_drv_config
diff --git a/repos/os/run/signal.run b/repos/os/run/signal.run
index 51ee34723..f420ce941 100644
--- a/repos/os/run/signal.run
+++ b/repos/os/run/signal.run
@@ -18,11 +18,12 @@ install_config {
+
-
+
diff --git a/repos/os/run/tar_rom.run b/repos/os/run/tar_rom.run
index e0cb3962f..0ea527797 100644
--- a/repos/os/run/tar_rom.run
+++ b/repos/os/run/tar_rom.run
@@ -38,6 +38,7 @@ install_config {
+
@@ -49,7 +50,7 @@ install_config {
-
+
@@ -60,6 +61,7 @@ install_config {
+
diff --git a/repos/os/run/thread_join.run b/repos/os/run/thread_join.run
index e5b9cdcde..415641893 100644
--- a/repos/os/run/thread_join.run
+++ b/repos/os/run/thread_join.run
@@ -18,6 +18,7 @@ install_config {
+
diff --git a/repos/os/run/timed_semaphore.run b/repos/os/run/timed_semaphore.run
index 1035704ee..c16cf6082 100644
--- a/repos/os/run/timed_semaphore.run
+++ b/repos/os/run/timed_semaphore.run
@@ -30,6 +30,7 @@ install_config {
+
diff --git a/repos/os/run/timeout.run b/repos/os/run/timeout.run
index 68cadbea6..671bcec62 100644
--- a/repos/os/run/timeout.run
+++ b/repos/os/run/timeout.run
@@ -26,6 +26,7 @@ install_config {
+
diff --git a/repos/os/run/timer.run b/repos/os/run/timer.run
index 218bdd317..f4877c120 100644
--- a/repos/os/run/timer.run
+++ b/repos/os/run/timer.run
@@ -27,6 +27,7 @@ install_config {
+
diff --git a/repos/os/run/timer_accuracy.run b/repos/os/run/timer_accuracy.run
index bec295d8c..078e4b50b 100644
--- a/repos/os/run/timer_accuracy.run
+++ b/repos/os/run/timer_accuracy.run
@@ -21,6 +21,7 @@ install_config {
+
diff --git a/repos/os/run/trace.run b/repos/os/run/trace.run
index cda375f94..3658f0b13 100644
--- a/repos/os/run/trace.run
+++ b/repos/os/run/trace.run
@@ -35,6 +35,7 @@ append config {
+
diff --git a/repos/os/run/tz_vmm.run b/repos/os/run/tz_vmm.run
index 1bfc676db..f4ed9638b 100644
--- a/repos/os/run/tz_vmm.run
+++ b/repos/os/run/tz_vmm.run
@@ -134,7 +134,8 @@ set config {
- }
+
+ }
append_if $trusted_led config {
diff --git a/repos/os/run/vfs_stress_fs.run b/repos/os/run/vfs_stress_fs.run
index 78c8a7bdf..723ecfa56 100644
--- a/repos/os/run/vfs_stress_fs.run
+++ b/repos/os/run/vfs_stress_fs.run
@@ -24,6 +24,7 @@ install_config {
+
diff --git a/repos/os/run/vfs_stress_ram.run b/repos/os/run/vfs_stress_ram.run
index 5527580f5..838fdf59f 100644
--- a/repos/os/run/vfs_stress_ram.run
+++ b/repos/os/run/vfs_stress_ram.run
@@ -24,6 +24,7 @@ install_config {
+
diff --git a/repos/os/run/vmm.run b/repos/os/run/vmm.run
index 4abed0a29..3154f1849 100644
--- a/repos/os/run/vmm.run
+++ b/repos/os/run/vmm.run
@@ -33,6 +33,7 @@ install_config {
+
diff --git a/repos/os/run/xml_generator.run b/repos/os/run/xml_generator.run
index 5f3ccbe05..443884efb 100644
--- a/repos/os/run/xml_generator.run
+++ b/repos/os/run/xml_generator.run
@@ -15,6 +15,7 @@ install_config {
+
diff --git a/repos/os/run/xml_node.run b/repos/os/run/xml_node.run
index d36e5ae13..11dd562b9 100644
--- a/repos/os/run/xml_node.run
+++ b/repos/os/run/xml_node.run
@@ -14,6 +14,7 @@ install_config {
+
diff --git a/repos/ports/run/arora.run b/repos/ports/run/arora.run
index 9ab309839..5aee54d5a 100644
--- a/repos/ports/run/arora.run
+++ b/repos/ports/run/arora.run
@@ -38,6 +38,7 @@ append config {
append config [qt5_parent_provides feature]
append config {
+
}
@@ -82,7 +83,7 @@ append config {
-
+
diff --git a/repos/ports/run/dosbox.run b/repos/ports/run/dosbox.run
index 8beb91801..be3949af1 100644
--- a/repos/ports/run/dosbox.run
+++ b/repos/ports/run/dosbox.run
@@ -45,7 +45,8 @@ append config {
- }
+
+ }
append_if [have_spec sdl] config {
@@ -60,7 +61,7 @@ append_if [have_spec sdl] config {
append_platform_drv_config
append_if [have_spec vesa] config {
-
+
diff --git a/repos/ports/run/gdb_monitor.run b/repos/ports/run/gdb_monitor.run
index 076f8572f..18b2524f4 100644
--- a/repos/ports/run/gdb_monitor.run
+++ b/repos/ports/run/gdb_monitor.run
@@ -52,6 +52,7 @@ set config {
+
@@ -66,7 +67,7 @@ set config {
-
+
diff --git a/repos/ports/run/netperf.inc b/repos/ports/run/netperf.inc
index 520722e0f..a33c7f338 100644
--- a/repos/ports/run/netperf.inc
+++ b/repos/ports/run/netperf.inc
@@ -117,6 +117,7 @@ set config {
+
@@ -124,7 +125,7 @@ set config {
}
append_if [have_spec gpio] config "
-
+
@@ -168,7 +169,7 @@ append_if $use_usb_driver config {
}
append_if $use_nic_driver config {
-
+
@@ -206,7 +207,7 @@ append_if $use_wifi_driver config {
-
+
@@ -232,7 +233,7 @@ append_if $use_wifi_driver config {
append_platform_drv_config
append config {
-
+
}
append config ""
append config {
diff --git a/repos/ports/run/noux.run b/repos/ports/run/noux.run
index 3b05c9634..63eb4e0e9 100644
--- a/repos/ports/run/noux.run
+++ b/repos/ports/run/noux.run
@@ -23,6 +23,7 @@ install_config {
+
@@ -32,7 +33,7 @@ install_config {
-
+
diff --git a/repos/ports/run/noux_bash.run b/repos/ports/run/noux_bash.run
index f22eec7cb..78a08e5ad 100644
--- a/repos/ports/run/noux_bash.run
+++ b/repos/ports/run/noux_bash.run
@@ -69,6 +69,7 @@ append config {
+
@@ -154,7 +155,7 @@ Hello world !!
-
+
diff --git a/repos/ports/run/noux_gdb.run b/repos/ports/run/noux_gdb.run
index 54d713940..44d5bfdd2 100644
--- a/repos/ports/run/noux_gdb.run
+++ b/repos/ports/run/noux_gdb.run
@@ -87,6 +87,7 @@ append config {
+
@@ -104,7 +105,7 @@ append_if [have_spec sdl] config {
append_platform_drv_config
append_if [have_spec framebuffer] config {
-
+
}
diff --git a/repos/ports/run/noux_net_netcat.run b/repos/ports/run/noux_net_netcat.run
index 122a05e16..7900b951c 100644
--- a/repos/ports/run/noux_net_netcat.run
+++ b/repos/ports/run/noux_net_netcat.run
@@ -61,6 +61,7 @@ append config {
+
@@ -80,7 +81,7 @@ append_if [have_include "power_on/qemu"] config {
if {![have_include "power_on/qemu"]} {
append config {
-
+
@@ -91,7 +92,7 @@ append config {
-
+
@@ -134,7 +135,7 @@ append_if $use_usb_driver config {
append_platform_drv_config
append config {
-
+
diff --git a/repos/ports/run/noux_shell_script.run b/repos/ports/run/noux_shell_script.run
index c465f0e89..cd28ee6db 100644
--- a/repos/ports/run/noux_shell_script.run
+++ b/repos/ports/run/noux_shell_script.run
@@ -50,6 +50,7 @@ append config {
+
@@ -74,7 +75,7 @@ append_if $use_usb_input config {
append_platform_drv_config
append_if [have_spec framebuffer] config {
-
+
}
@@ -124,7 +125,7 @@ echo "$1"
-
+
}
diff --git a/repos/ports/run/noux_terminal_fs.run b/repos/ports/run/noux_terminal_fs.run
index f1888b95c..0e99e368d 100644
--- a/repos/ports/run/noux_terminal_fs.run
+++ b/repos/ports/run/noux_terminal_fs.run
@@ -55,13 +55,15 @@ append config {
+
}
append_if [have_spec sdl] config {
-
+
+
@@ -72,7 +74,7 @@ append_if [have_spec sdl] config {
append_platform_drv_config
append_if [have_spec framebuffer] config {
-
+
}
@@ -96,6 +98,8 @@ append config {
}
append_if [have_spec ps2] config {
}
+append_if [have_spec sdl] config {
+ }
append config {
@@ -156,7 +160,7 @@ append config {
-
+
diff --git a/repos/ports/run/noux_tool_chain.inc b/repos/ports/run/noux_tool_chain.inc
index 9b69199a3..fba81883d 100644
--- a/repos/ports/run/noux_tool_chain.inc
+++ b/repos/ports/run/noux_tool_chain.inc
@@ -107,6 +107,7 @@ append config {
+
@@ -124,7 +125,7 @@ append_if [have_spec sdl] config {
append_platform_drv_config
append_if [have_spec framebuffer] config {
-
+
}
diff --git a/repos/ports/run/noux_trace_fs.run b/repos/ports/run/noux_trace_fs.run
index f4b18a2a1..3d425ee8e 100644
--- a/repos/ports/run/noux_trace_fs.run
+++ b/repos/ports/run/noux_trace_fs.run
@@ -81,6 +81,7 @@ append config {
+
@@ -98,7 +99,7 @@ append_if [have_spec sdl] config {
append_platform_drv_config
append_if [have_spec framebuffer] config {
-
+
@@ -161,7 +162,7 @@ append config {
-
+
}
diff --git a/repos/ports/run/noux_two_terminal_fs.run b/repos/ports/run/noux_two_terminal_fs.run
index fe2378bf7..cab3ea535 100644
--- a/repos/ports/run/noux_two_terminal_fs.run
+++ b/repos/ports/run/noux_two_terminal_fs.run
@@ -55,6 +55,7 @@ append config {
+
@@ -72,7 +73,7 @@ append_if [have_spec sdl] config {
append_platform_drv_config
append_if [have_spec framebuffer] config {
-
+
}
@@ -172,7 +173,7 @@ append config {
-
+
@@ -193,7 +194,7 @@ append config {
-
+
diff --git a/repos/ports/run/noux_vim.run b/repos/ports/run/noux_vim.run
index ee7d49285..c603780ee 100644
--- a/repos/ports/run/noux_vim.run
+++ b/repos/ports/run/noux_vim.run
@@ -37,6 +37,7 @@ append config {
+
diff --git a/repos/ports/run/seoul.inc b/repos/ports/run/seoul.inc
index 856a00849..533e28ec4 100644
--- a/repos/ports/run/seoul.inc
+++ b/repos/ports/run/seoul.inc
@@ -158,6 +158,7 @@ append config {
+
@@ -219,7 +220,7 @@ append_if $use_nic_session config {
append_if [expr $use_nic_session && $use_nic_bridge] config {
-
+
@@ -243,7 +244,7 @@ append_if $use_framebuffer config {
if {!$use_fancy_stuff} {
append config {
-
+
}
append config "
"
@@ -306,7 +307,7 @@ append_if $use_fancy_stuff config {
-
+
@@ -317,7 +318,7 @@ append_if $use_fancy_stuff config {
-
+
@@ -336,7 +337,7 @@ if {$use_fancy_stuff} {
set launchpad_cfg_fd [open "bin/launchpad-config" w]
puts $launchpad_cfg_fd "
- "
+ "
puts $launchpad_cfg_fd {
@@ -357,7 +358,7 @@ if {$use_fancy_stuff} {
-
+
@@ -370,7 +371,7 @@ if {$use_fancy_stuff} {
-
+
diff --git a/repos/ports/run/vbox_share.inc b/repos/ports/run/vbox_share.inc
index 78f93b4c8..6b4780151 100644
--- a/repos/ports/run/vbox_share.inc
+++ b/repos/ports/run/vbox_share.inc
@@ -117,7 +117,7 @@ foreach pkg {bash coreutils} {
set boot_modules {
ram_fs
- noux libc_noux.lib.so bash.tar coreutils.tar
+ noux libc_noux.lib.so posix.lib.so bash.tar coreutils.tar
tcp_terminal lwip.lib.so nic_drv report_rom
input_merger
test.bin template.bat
@@ -129,22 +129,20 @@ set config_of_app {
-
-
-
-
-
+
+
+
-
-
+
+
@@ -190,7 +188,7 @@ set config_of_app {
-
+
@@ -200,7 +198,7 @@ set config_of_app {
-
+
@@ -222,7 +220,7 @@ append config_of_app {
- }
+ }
append_if [expr $use_vbox4] config_of_app "
"
append_if [expr $use_vbox5] config_of_app "
diff --git a/repos/ports/run/vbox_win.inc b/repos/ports/run/vbox_win.inc
index 2063a5921..7ca5b0154 100644
--- a/repos/ports/run/vbox_win.inc
+++ b/repos/ports/run/vbox_win.inc
@@ -247,7 +247,7 @@ append config_of_app {
for { set i 1} { $i <= $use_vms } { incr i} {
append config_of_app "
- "
+ "
append_if [expr $use_vbox4] config_of_app "
"
append_if [expr $use_vbox5] config_of_app "
diff --git a/repos/ports/run/virtualbox.run b/repos/ports/run/virtualbox.run
index a468e3ce4..32f977dc2 100644
--- a/repos/ports/run/virtualbox.run
+++ b/repos/ports/run/virtualbox.run
@@ -68,6 +68,7 @@ append config {
+
@@ -220,7 +221,7 @@ append_if [expr $use_gui] config {
- }
+ }
append_if [expr $use_gui] config "
"
append_if [expr $use_gui] config {
@@ -242,7 +243,7 @@ append_if [expr $use_gui] config {
}
append config {
- }
+ }
append config "
"
append config {
diff --git a/repos/ports/run/virtualbox_auto.inc b/repos/ports/run/virtualbox_auto.inc
index 26671f7bd..095b878df 100644
--- a/repos/ports/run/virtualbox_auto.inc
+++ b/repos/ports/run/virtualbox_auto.inc
@@ -70,6 +70,8 @@ append config {
+
+
@@ -97,7 +99,7 @@ append config {
}
append_if [expr $use_rumpfs] config {
-
+
}
@@ -113,7 +115,7 @@ append_if [expr $use_rumpfs] config {
}
append_if [expr $use_ram_fs] config {
- }
+ }
append_if [expr $use_ram_fs] config "
"
append_if [expr $use_ram_fs] config {
@@ -305,7 +307,7 @@ append_if [expr $use_usb] config {
}
append_if [have_spec framebuffer] config {
-
+