diff --git a/repos/base-foc/run/cap_integrity.run b/repos/base-foc/run/cap_integrity.run
index a5f7bf3e4..35a835e69 100644
--- a/repos/base-foc/run/cap_integrity.run
+++ b/repos/base-foc/run/cap_integrity.run
@@ -9,9 +9,7 @@ install_config {
-
-
diff --git a/repos/base-hw/run/nested_init.run b/repos/base-hw/run/nested_init.run
index 7ca87af61..83ba9d5ad 100644
--- a/repos/base-hw/run/nested_init.run
+++ b/repos/base-hw/run/nested_init.run
@@ -16,12 +16,10 @@ install_config {
-
-
@@ -31,12 +29,10 @@ install_config {
-
-
@@ -46,12 +42,10 @@ install_config {
-
-
diff --git a/repos/base-linux/run/lx_fs.run b/repos/base-linux/run/lx_fs.run
index 51a5f3d55..b6f950585 100644
--- a/repos/base-linux/run/lx_fs.run
+++ b/repos/base-linux/run/lx_fs.run
@@ -24,12 +24,10 @@ install_config {
-
-
diff --git a/repos/base-linux/run/lx_rmap.inc b/repos/base-linux/run/lx_rmap.inc
index 8fae3f1c0..0f384d1bd 100644
--- a/repos/base-linux/run/lx_rmap.inc
+++ b/repos/base-linux/run/lx_rmap.inc
@@ -28,13 +28,11 @@ set config {
-
-
diff --git a/repos/base-linux/run/lx_uid.run b/repos/base-linux/run/lx_uid.run
index a8f36c852..8493eb285 100644
--- a/repos/base-linux/run/lx_uid.run
+++ b/repos/base-linux/run/lx_uid.run
@@ -15,12 +15,10 @@ install_config {
-
-
@@ -39,9 +37,7 @@ install_config {
-
-
diff --git a/repos/base-linux/run/region_map_mmap.run b/repos/base-linux/run/region_map_mmap.run
index 3dde49d0c..b4ef44e36 100644
--- a/repos/base-linux/run/region_map_mmap.run
+++ b/repos/base-linux/run/region_map_mmap.run
@@ -10,12 +10,10 @@ install_config {
-
-
diff --git a/repos/base-linux/src/core/include/core_env.h b/repos/base-linux/src/core/include/core_env.h
index 1a630119e..b656d187e 100644
--- a/repos/base-linux/src/core/include/core_env.h
+++ b/repos/base-linux/src/core/include/core_env.h
@@ -163,8 +163,6 @@ namespace Genode {
Heap _heap;
Ram_session_capability const _ram_session_cap;
- enum { SIGNAL_RAM_QUOTA = 1024*sizeof(long) };
-
public:
/**
diff --git a/repos/base-nova/run/platform.run b/repos/base-nova/run/platform.run
index 4ca433543..c705e0092 100644
--- a/repos/base-nova/run/platform.run
+++ b/repos/base-nova/run/platform.run
@@ -14,9 +14,7 @@ set config {
-
-
diff --git a/repos/base/run/affinity.run b/repos/base/run/affinity.run
index 878961c99..6873c0eb1 100644
--- a/repos/base/run/affinity.run
+++ b/repos/base/run/affinity.run
@@ -34,8 +34,6 @@ set config {
-
-
diff --git a/repos/base/run/affinity_subspace.run b/repos/base/run/affinity_subspace.run
index 4e4f49652..6b09cf750 100644
--- a/repos/base/run/affinity_subspace.run
+++ b/repos/base/run/affinity_subspace.run
@@ -21,9 +21,7 @@ install_config {
-
-
diff --git a/repos/base/run/fpu.run b/repos/base/run/fpu.run
index 6ad69d871..a8e74f679 100644
--- a/repos/base/run/fpu.run
+++ b/repos/base/run/fpu.run
@@ -17,10 +17,8 @@ install_config {
-
-
diff --git a/repos/base/run/platform_drv.inc b/repos/base/run/platform_drv.inc
index 4ed5c8cd8..d94bad869 100644
--- a/repos/base/run/platform_drv.inc
+++ b/repos/base/run/platform_drv.inc
@@ -85,8 +85,6 @@ proc append_platform_drv_config {} {
-
-
}
diff --git a/repos/base/run/rm_fault.run b/repos/base/run/rm_fault.run
index 335cec2d4..6f65d3218 100644
--- a/repos/base/run/rm_fault.run
+++ b/repos/base/run/rm_fault.run
@@ -12,9 +12,7 @@ install_config {
-
-
diff --git a/repos/base/run/rm_nested.run b/repos/base/run/rm_nested.run
index 0c23669da..8977098c1 100644
--- a/repos/base/run/rm_nested.run
+++ b/repos/base/run/rm_nested.run
@@ -12,9 +12,7 @@ install_config {
-
-
diff --git a/repos/base/run/slab.run b/repos/base/run/slab.run
index 98fce646d..b555a4493 100644
--- a/repos/base/run/slab.run
+++ b/repos/base/run/slab.run
@@ -9,12 +9,10 @@ install_config {
-
-
diff --git a/repos/base/run/sub_rm.run b/repos/base/run/sub_rm.run
index de561dc44..20735b7da 100644
--- a/repos/base/run/sub_rm.run
+++ b/repos/base/run/sub_rm.run
@@ -9,9 +9,7 @@ install_config {
-
-
diff --git a/repos/dde_bsd/run/audio_in.run b/repos/dde_bsd/run/audio_in.run
index 837bd4a8d..19ea2c4ab 100644
--- a/repos/dde_bsd/run/audio_in.run
+++ b/repos/dde_bsd/run/audio_in.run
@@ -41,12 +41,10 @@ append config {
-
-
diff --git a/repos/dde_bsd/run/audio_out.run b/repos/dde_bsd/run/audio_out.run
index 80ac5e925..8357bacab 100644
--- a/repos/dde_bsd/run/audio_out.run
+++ b/repos/dde_bsd/run/audio_out.run
@@ -44,12 +44,10 @@ append config {
-
-
diff --git a/repos/dde_linux/run/intel_fb.run b/repos/dde_linux/run/intel_fb.run
index 352f04091..647fef9a1 100644
--- a/repos/dde_linux/run/intel_fb.run
+++ b/repos/dde_linux/run/intel_fb.run
@@ -29,12 +29,10 @@ append config {
-
-
diff --git a/repos/dde_linux/run/linux_nic_panda.run b/repos/dde_linux/run/linux_nic_panda.run
index f9f68643a..33470dc33 100644
--- a/repos/dde_linux/run/linux_nic_panda.run
+++ b/repos/dde_linux/run/linux_nic_panda.run
@@ -30,12 +30,10 @@ set config {
-
-
diff --git a/repos/dde_linux/run/usb_hid.run b/repos/dde_linux/run/usb_hid.run
index d4f639a49..dcde8be56 100644
--- a/repos/dde_linux/run/usb_hid.run
+++ b/repos/dde_linux/run/usb_hid.run
@@ -30,12 +30,10 @@ append config {
-
-
diff --git a/repos/dde_linux/run/usb_hid_panda.run b/repos/dde_linux/run/usb_hid_panda.run
index 85a3310d3..7f9398a71 100644
--- a/repos/dde_linux/run/usb_hid_panda.run
+++ b/repos/dde_linux/run/usb_hid_panda.run
@@ -25,12 +25,10 @@ append config {
-
-
diff --git a/repos/dde_linux/run/usb_net.run b/repos/dde_linux/run/usb_net.run
index 7fefb3ecc..b796ce933 100644
--- a/repos/dde_linux/run/usb_net.run
+++ b/repos/dde_linux/run/usb_net.run
@@ -38,12 +38,10 @@ set config {
-
-
diff --git a/repos/dde_linux/run/usb_storage.run b/repos/dde_linux/run/usb_storage.run
index 06ca448f0..2a244146c 100644
--- a/repos/dde_linux/run/usb_storage.run
+++ b/repos/dde_linux/run/usb_storage.run
@@ -36,12 +36,10 @@ set config {
-
-
diff --git a/repos/dde_linux/run/usb_terminal.run b/repos/dde_linux/run/usb_terminal.run
index 4b989d98f..6d5cc5b27 100644
--- a/repos/dde_linux/run/usb_terminal.run
+++ b/repos/dde_linux/run/usb_terminal.run
@@ -43,12 +43,10 @@ append config {
-
-
diff --git a/repos/dde_linux/run/wifi.run b/repos/dde_linux/run/wifi.run
index 6d3e51307..628db6b6c 100644
--- a/repos/dde_linux/run/wifi.run
+++ b/repos/dde_linux/run/wifi.run
@@ -34,12 +34,10 @@ set config {
-
-
diff --git a/repos/dde_rump/run/rump_cgd_ext2.run b/repos/dde_rump/run/rump_cgd_ext2.run
index 5a853cd92..47b54b2c1 100644
--- a/repos/dde_rump/run/rump_cgd_ext2.run
+++ b/repos/dde_rump/run/rump_cgd_ext2.run
@@ -52,12 +52,10 @@ append config {
-
-
diff --git a/repos/dde_rump/run/rump_ext2.run b/repos/dde_rump/run/rump_ext2.run
index 1cfd36765..985b63149 100644
--- a/repos/dde_rump/run/rump_ext2.run
+++ b/repos/dde_rump/run/rump_ext2.run
@@ -40,12 +40,10 @@ append config {
-
-
diff --git a/repos/dde_rump/run/rump_fat.run b/repos/dde_rump/run/rump_fat.run
index 9e3a53204..076082e7c 100644
--- a/repos/dde_rump/run/rump_fat.run
+++ b/repos/dde_rump/run/rump_fat.run
@@ -40,12 +40,10 @@ append config {
-
-
diff --git a/repos/dde_rump/run/rump_iso.run b/repos/dde_rump/run/rump_iso.run
index 5703ecfc3..5166d353b 100644
--- a/repos/dde_rump/run/rump_iso.run
+++ b/repos/dde_rump/run/rump_iso.run
@@ -34,12 +34,10 @@ append config {
-
-
diff --git a/repos/demo/src/lib/launchpad/launchpad.cc b/repos/demo/src/lib/launchpad/launchpad.cc
index 840c9e8d4..d39f1450f 100644
--- a/repos/demo/src/lib/launchpad/launchpad.cc
+++ b/repos/demo/src/lib/launchpad/launchpad.cc
@@ -42,8 +42,7 @@ Launchpad::Launchpad(unsigned long initial_quota)
static const char *names[] = {
/* core services */
- "CAP", "RAM", "RM", "PD", "CPU", "IO_MEM", "IO_PORT",
- "IRQ", "ROM", "LOG", "SIGNAL",
+ "RAM", "RM", "PD", "CPU", "IO_MEM", "IO_PORT", "IRQ", "ROM", "LOG",
/* services expected to got started by init */
"Nitpicker", "Init", "Timer", "PCI", "Block", "Nic", "Rtc",
diff --git a/repos/gems/include/gems/report_rom_slave.h b/repos/gems/include/gems/report_rom_slave.h
index 28b8ccdf2..da18a99f0 100644
--- a/repos/gems/include/gems/report_rom_slave.h
+++ b/repos/gems/include/gems/report_rom_slave.h
@@ -40,7 +40,7 @@ class Report_rom_slave : public Genode::Noncopyable
char const **_permitted_services() const
{
static char const *permitted_services[] = {
- "CAP", "LOG", "SIGNAL", "RM", 0 };
+ "LOG", "RM", 0 };
return permitted_services;
};
diff --git a/repos/gems/run/cpu_load_display.run b/repos/gems/run/cpu_load_display.run
index 9280c5b18..cbfb7eff7 100644
--- a/repos/gems/run/cpu_load_display.run
+++ b/repos/gems/run/cpu_load_display.run
@@ -39,12 +39,10 @@ append config {
-
-
diff --git a/repos/gems/run/decorator.run b/repos/gems/run/decorator.run
index 30849ec58..7a60f3aa3 100644
--- a/repos/gems/run/decorator.run
+++ b/repos/gems/run/decorator.run
@@ -29,8 +29,6 @@ append config {
-
-
diff --git a/repos/gems/run/decorator_stress.run b/repos/gems/run/decorator_stress.run
index 9fea2af2a..a2bf1437d 100644
--- a/repos/gems/run/decorator_stress.run
+++ b/repos/gems/run/decorator_stress.run
@@ -38,12 +38,10 @@ append config {
-
-
diff --git a/repos/gems/run/http_blk.run b/repos/gems/run/http_blk.run
index f9aaaf1de..6c89e01aa 100644
--- a/repos/gems/run/http_blk.run
+++ b/repos/gems/run/http_blk.run
@@ -44,7 +44,6 @@ append config {
-
@@ -52,7 +51,6 @@ append config {
-
diff --git a/repos/gems/run/launcher.run b/repos/gems/run/launcher.run
index d2e608707..483f6ad93 100644
--- a/repos/gems/run/launcher.run
+++ b/repos/gems/run/launcher.run
@@ -35,8 +35,6 @@ append config {
-
-
diff --git a/repos/gems/run/menu_view.run b/repos/gems/run/menu_view.run
index a5377a65a..ad8ae9414 100644
--- a/repos/gems/run/menu_view.run
+++ b/repos/gems/run/menu_view.run
@@ -31,8 +31,6 @@ append config {
-
-
diff --git a/repos/gems/run/mixer_gui_qt_test.run b/repos/gems/run/mixer_gui_qt_test.run
index b79ebb284..320355081 100644
--- a/repos/gems/run/mixer_gui_qt_test.run
+++ b/repos/gems/run/mixer_gui_qt_test.run
@@ -39,7 +39,6 @@ set config {
-
@@ -47,7 +46,6 @@ set config {
-
diff --git a/repos/gems/run/nano3d.run b/repos/gems/run/nano3d.run
index 10870ed51..55b23f1f9 100644
--- a/repos/gems/run/nano3d.run
+++ b/repos/gems/run/nano3d.run
@@ -32,12 +32,10 @@ append config {
-
-
diff --git a/repos/gems/run/nit_fader.run b/repos/gems/run/nit_fader.run
index 1378e33a5..ed1b922d9 100644
--- a/repos/gems/run/nit_fader.run
+++ b/repos/gems/run/nit_fader.run
@@ -30,8 +30,6 @@ append config {
-
-
diff --git a/repos/gems/run/tcp_terminal.run b/repos/gems/run/tcp_terminal.run
index eec10f53d..c4af04a41 100644
--- a/repos/gems/run/tcp_terminal.run
+++ b/repos/gems/run/tcp_terminal.run
@@ -41,12 +41,10 @@ set config {
-
-
diff --git a/repos/gems/run/terminal_echo.run b/repos/gems/run/terminal_echo.run
index 72269f355..bc02cecb2 100644
--- a/repos/gems/run/terminal_echo.run
+++ b/repos/gems/run/terminal_echo.run
@@ -16,7 +16,6 @@ append config {
-
@@ -24,7 +23,6 @@ append config {
-
diff --git a/repos/gems/run/terminal_log.run b/repos/gems/run/terminal_log.run
index 7562e223c..113c0d9a8 100644
--- a/repos/gems/run/terminal_log.run
+++ b/repos/gems/run/terminal_log.run
@@ -34,12 +34,10 @@ append config {
-
-
diff --git a/repos/gems/run/terminal_mux.run b/repos/gems/run/terminal_mux.run
index ecee02c51..8d2c0157d 100644
--- a/repos/gems/run/terminal_mux.run
+++ b/repos/gems/run/terminal_mux.run
@@ -26,7 +26,6 @@ append config {
-
@@ -34,7 +33,6 @@ append config {
-
diff --git a/repos/gems/run/wm.run b/repos/gems/run/wm.run
index 7d4e712f6..864615a82 100644
--- a/repos/gems/run/wm.run
+++ b/repos/gems/run/wm.run
@@ -39,12 +39,10 @@ append config {
-
-
diff --git a/repos/gems/src/app/launcher/menu_view_slave.h b/repos/gems/src/app/launcher/menu_view_slave.h
index 04e4e9394..2ef836ea8 100644
--- a/repos/gems/src/app/launcher/menu_view_slave.h
+++ b/repos/gems/src/app/launcher/menu_view_slave.h
@@ -53,7 +53,7 @@ class Launcher::Menu_view_slave
char const **_permitted_services() const
{
static char const *permitted_services[] = {
- "ROM", "CAP", "LOG", "SIGNAL", "RM", "Timer", 0 };
+ "ROM", "LOG", "RM", "Timer", 0 };
return permitted_services;
};
diff --git a/repos/gems/src/app/launcher/nit_fader_slave.h b/repos/gems/src/app/launcher/nit_fader_slave.h
index 61ae260a4..a32b32a43 100644
--- a/repos/gems/src/app/launcher/nit_fader_slave.h
+++ b/repos/gems/src/app/launcher/nit_fader_slave.h
@@ -41,7 +41,7 @@ class Launcher::Nit_fader_slave
char const **_permitted_services() const
{
static char const *permitted_services[] = {
- "CAP", "LOG", "SIGNAL", "RM", "Timer", 0 };
+ "LOG", "RM", "Timer", 0 };
return permitted_services;
};
diff --git a/repos/hello_tutorial/config/config b/repos/hello_tutorial/config/config
index df638fea7..67def090a 100644
--- a/repos/hello_tutorial/config/config
+++ b/repos/hello_tutorial/config/config
@@ -1,9 +1,7 @@
-
-
diff --git a/repos/hello_tutorial/doc/hello_tutorial.txt b/repos/hello_tutorial/doc/hello_tutorial.txt
index af19f269d..75d391fb4 100644
--- a/repos/hello_tutorial/doc/hello_tutorial.txt
+++ b/repos/hello_tutorial/doc/hello_tutorial.txt
@@ -151,7 +151,6 @@ Getting ready to start
The server component won't help us much as long as we don't use it in a server
application. Starting a service with Genode works as follows:
-* Open a CAP session to our parent, so that we are able to create capabilities.
* Create and announce a root capability to our parent.
* When a client requests our service, the parent invokes the root capability to
create session objects and session capabilities. These are then used by the
@@ -254,7 +253,6 @@ entry to init's 'config' file, which is located at 'build/bin/config'.
!
!
-!
!
!
!
@@ -407,10 +405,6 @@ Add a 'target.mk' file with the following content to 'src/hello/client/':
Extend your 'config' file as follows.
-# Add the 'SIGNAL' service to the '' section:
-
- !
-
# Add start entries for 'Timer' service and hello client:
!
diff --git a/repos/hello_tutorial/run/hello.run b/repos/hello_tutorial/run/hello.run
index adc6c25d3..09c7d292f 100644
--- a/repos/hello_tutorial/run/hello.run
+++ b/repos/hello_tutorial/run/hello.run
@@ -13,10 +13,8 @@ create_boot_directory
install_config {
-
-
diff --git a/repos/libports/run/avplay.run b/repos/libports/run/avplay.run
index 1e7b579fc..eb3ce85f4 100644
--- a/repos/libports/run/avplay.run
+++ b/repos/libports/run/avplay.run
@@ -38,12 +38,10 @@ set config {
-
-
diff --git a/repos/libports/run/eglgears.run b/repos/libports/run/eglgears.run
index 29d01a595..810743087 100644
--- a/repos/libports/run/eglgears.run
+++ b/repos/libports/run/eglgears.run
@@ -23,12 +23,10 @@ set config {
-
-
@@ -88,13 +86,11 @@ append config {
-
-
diff --git a/repos/libports/run/expat.run b/repos/libports/run/expat.run
index 7908057d9..56932609d 100644
--- a/repos/libports/run/expat.run
+++ b/repos/libports/run/expat.run
@@ -21,14 +21,12 @@ install_config {
-
-
diff --git a/repos/libports/run/http_srv_tracing.run b/repos/libports/run/http_srv_tracing.run
index 81c6076ed..f47cc8290 100644
--- a/repos/libports/run/http_srv_tracing.run
+++ b/repos/libports/run/http_srv_tracing.run
@@ -53,12 +53,10 @@ set config {
-
-
diff --git a/repos/libports/run/http_srv_tracing_nonblocking_panda.run b/repos/libports/run/http_srv_tracing_nonblocking_panda.run
index 18b05e72a..56241fe8c 100644
--- a/repos/libports/run/http_srv_tracing_nonblocking_panda.run
+++ b/repos/libports/run/http_srv_tracing_nonblocking_panda.run
@@ -27,12 +27,10 @@ set config {
-
-
diff --git a/repos/libports/run/http_srv_tracing_panda.run b/repos/libports/run/http_srv_tracing_panda.run
index 12ac71771..1aa0d9ae0 100644
--- a/repos/libports/run/http_srv_tracing_panda.run
+++ b/repos/libports/run/http_srv_tracing_panda.run
@@ -27,12 +27,10 @@ set config {
-
-
diff --git a/repos/libports/run/libc_block.run b/repos/libports/run/libc_block.run
index 37c8e0e50..7be5ba91b 100644
--- a/repos/libports/run/libc_block.run
+++ b/repos/libports/run/libc_block.run
@@ -42,12 +42,10 @@ set config {
-
-
diff --git a/repos/libports/run/libc_ffat_fs.run b/repos/libports/run/libc_ffat_fs.run
index 652125e07..909a2a9b5 100644
--- a/repos/libports/run/libc_ffat_fs.run
+++ b/repos/libports/run/libc_ffat_fs.run
@@ -40,7 +40,6 @@ set config {
-
@@ -48,7 +47,6 @@ set config {
-
diff --git a/repos/libports/run/libc_filesystem_test.inc b/repos/libports/run/libc_filesystem_test.inc
index d67c2f209..4dd8ee930 100644
--- a/repos/libports/run/libc_filesystem_test.inc
+++ b/repos/libports/run/libc_filesystem_test.inc
@@ -61,12 +61,10 @@ set config {
-
-
diff --git a/repos/libports/run/libc_fs_tar_fs.run b/repos/libports/run/libc_fs_tar_fs.run
index 9154f510f..872779749 100644
--- a/repos/libports/run/libc_fs_tar_fs.run
+++ b/repos/libports/run/libc_fs_tar_fs.run
@@ -26,7 +26,6 @@ set config {
-
@@ -34,7 +33,6 @@ set config {
-
diff --git a/repos/libports/run/libc_vfs.run b/repos/libports/run/libc_vfs.run
index f7820e813..689d92297 100644
--- a/repos/libports/run/libc_vfs.run
+++ b/repos/libports/run/libc_vfs.run
@@ -21,12 +21,10 @@ set config {
-
-
diff --git a/repos/libports/run/libc_vfs_fs.run b/repos/libports/run/libc_vfs_fs.run
index 264d2a9b8..f3adb228b 100644
--- a/repos/libports/run/libc_vfs_fs.run
+++ b/repos/libports/run/libc_vfs_fs.run
@@ -21,12 +21,10 @@ set config {
-
-
diff --git a/repos/libports/run/libc_vfs_ram.run b/repos/libports/run/libc_vfs_ram.run
index f9240a112..15b0cb502 100644
--- a/repos/libports/run/libc_vfs_ram.run
+++ b/repos/libports/run/libc_vfs_ram.run
@@ -24,12 +24,10 @@ set config {
-
-
diff --git a/repos/libports/run/lwip.run b/repos/libports/run/lwip.run
index d82264c12..ee88787c6 100644
--- a/repos/libports/run/lwip.run
+++ b/repos/libports/run/lwip.run
@@ -60,12 +60,10 @@ set config {
-
-
diff --git a/repos/libports/run/lwip_lx.run b/repos/libports/run/lwip_lx.run
index 24d516834..37b85244a 100644
--- a/repos/libports/run/lwip_lx.run
+++ b/repos/libports/run/lwip_lx.run
@@ -22,12 +22,10 @@ set config {
-
-
diff --git a/repos/libports/run/moon.run b/repos/libports/run/moon.run
index 9b4a51029..a4dde1cc6 100644
--- a/repos/libports/run/moon.run
+++ b/repos/libports/run/moon.run
@@ -11,13 +11,11 @@ install_config {
-
-
diff --git a/repos/libports/run/mupdf.run b/repos/libports/run/mupdf.run
index 5fe38ba83..e053a483f 100644
--- a/repos/libports/run/mupdf.run
+++ b/repos/libports/run/mupdf.run
@@ -20,12 +20,10 @@ set config {
-
-
diff --git a/repos/libports/run/network_test.inc b/repos/libports/run/network_test.inc
index c7ef6e0bf..17cf15c86 100644
--- a/repos/libports/run/network_test.inc
+++ b/repos/libports/run/network_test.inc
@@ -49,12 +49,10 @@ set config {
-
-
diff --git a/repos/libports/run/python.run b/repos/libports/run/python.run
index 38c504820..f29f2a58b 100644
--- a/repos/libports/run/python.run
+++ b/repos/libports/run/python.run
@@ -27,12 +27,10 @@ set config {
-
-
diff --git a/repos/libports/run/qt5_drivers.inc b/repos/libports/run/qt5_drivers.inc
index 5ac258cff..82527a5fe 100644
--- a/repos/libports/run/qt5_drivers.inc
+++ b/repos/libports/run/qt5_drivers.inc
@@ -100,12 +100,10 @@ proc drivers_parent_provides { feature_arg } {
-
-
}
return $parent_provides
diff --git a/repos/libports/run/sdl.run b/repos/libports/run/sdl.run
index 3a6d69d10..acad1eb65 100644
--- a/repos/libports/run/sdl.run
+++ b/repos/libports/run/sdl.run
@@ -28,12 +28,10 @@ append config {
-
-
diff --git a/repos/libports/run/test-nicbridge_static.run b/repos/libports/run/test-nicbridge_static.run
index 3a88e7a50..eb8b0ea9e 100644
--- a/repos/libports/run/test-nicbridge_static.run
+++ b/repos/libports/run/test-nicbridge_static.run
@@ -30,12 +30,10 @@ append config {
-
-
diff --git a/repos/libports/run/test-nicbridge_static2.run b/repos/libports/run/test-nicbridge_static2.run
index 486a968b9..ef64301eb 100644
--- a/repos/libports/run/test-nicbridge_static2.run
+++ b/repos/libports/run/test-nicbridge_static2.run
@@ -30,12 +30,10 @@ append config {
-
-
diff --git a/repos/libports/run/test-ping_client.run b/repos/libports/run/test-ping_client.run
index 0a32d4f6d..555187dbe 100644
--- a/repos/libports/run/test-ping_client.run
+++ b/repos/libports/run/test-ping_client.run
@@ -41,12 +41,10 @@ set config {
-
-
diff --git a/repos/libports/run/test-ping_server.run b/repos/libports/run/test-ping_server.run
index 30df52a0a..50b10f117 100644
--- a/repos/libports/run/test-ping_server.run
+++ b/repos/libports/run/test-ping_server.run
@@ -41,12 +41,10 @@ set config {
-
-
diff --git a/repos/libports/src/app/qt5/qt_avplay/avplay_policy.h b/repos/libports/src/app/qt5/qt_avplay/avplay_policy.h
index 3d2d1668e..d9f1a93d3 100644
--- a/repos/libports/src/app/qt5/qt_avplay/avplay_policy.h
+++ b/repos/libports/src/app/qt5/qt_avplay/avplay_policy.h
@@ -87,8 +87,7 @@ class Avplay_policy : public QObject, public Genode::Slave_policy
const char **_permitted_services() const
{
static const char *permitted_services[] = {
- "CAP", "LOG", "RM", "ROM", "SIGNAL",
- "Timer", "Audio_out", 0 };
+ "LOG", "RM", "ROM", "Timer", "Audio_out", 0 };
return permitted_services;
};
diff --git a/repos/libports/src/app/qt5/qt_avplay/filter_framebuffer_policy.h b/repos/libports/src/app/qt5/qt_avplay/filter_framebuffer_policy.h
index 0a6b40572..e48e1e4e1 100644
--- a/repos/libports/src/app/qt5/qt_avplay/filter_framebuffer_policy.h
+++ b/repos/libports/src/app/qt5/qt_avplay/filter_framebuffer_policy.h
@@ -31,8 +31,7 @@ class Filter_framebuffer_policy : public Genode::Slave_policy
const char **_permitted_services() const
{
static const char *permitted_services[] = {
- "CAP", "LOG", "RM", "ROM", "SIGNAL",
- "Timer", 0 };
+ "LOG", "RM", "ROM", "Timer", 0 };
return permitted_services;
};
diff --git a/repos/libports/src/lib/qt5/qpluginwidget/qpluginwidget.cpp b/repos/libports/src/lib/qt5/qpluginwidget/qpluginwidget.cpp
index 914983278..5c04ea319 100644
--- a/repos/libports/src/lib/qt5/qpluginwidget/qpluginwidget.cpp
+++ b/repos/libports/src/lib/qt5/qpluginwidget/qpluginwidget.cpp
@@ -27,14 +27,12 @@ using namespace Genode;
const char *config = " \
\
\
- \
\
\
\
\
\
\
- \
\
\
\
diff --git a/repos/libports/src/test/qt5/qpluginwidget/config.plugin b/repos/libports/src/test/qt5/qpluginwidget/config.plugin
index eda407929..60d63733d 100644
--- a/repos/libports/src/test/qt5/qpluginwidget/config.plugin
+++ b/repos/libports/src/test/qt5/qpluginwidget/config.plugin
@@ -2,7 +2,6 @@
-
diff --git a/repos/os/doc/init.txt b/repos/os/doc/init.txt
index 7611345c7..42e0aa1df 100644
--- a/repos/os/doc/init.txt
+++ b/repos/os/doc/init.txt
@@ -39,36 +39,27 @@ illustrated by an example (the following config file can be used on Linux):
!
!
-!
!
-!
!
!
!
!
-!
-!
-!
-!
!
!
!
!
-!
-!
-!
+!
+!
!
!
!
First, there is the declaration of services provided by the parent of the
configured init instance. In this case, we declare that the parent provides a
-CAP service and a LOG service. For each child to start, there is a ''
+LOG service. For each child to start, there is a ''
node describing resource assignments, declaring services provided by the child,
and holding a routing table for session requests originating from the child.
-The first child is called "timer" and implements the "Timer" service. To
-implement this service, the timer requires a CAP session. In the routing table,
-we define that a CAP session request gets delegated to init's parent. The
+The first child is called "timer" and implements the "Timer" service. The
second process called "test-timer" is a client of the timer service. In its
routing table, we see that requests for "Timer" sessions should be routed to
the "timer" child whereas requests for "LOG" sessions should be delegated to
@@ -96,7 +87,6 @@ of specifying
!
!
!
-!
!
the following shortcut can be used:
!
@@ -189,22 +179,16 @@ service routing facility, the "Timer" session of the second-level 'timer-test'
child is routed to the timer service started at the first-level init instance.
!
!
-!
!
!
!
!
!
!
-!
!
!
!
!
-!
-!
-!
-!
!
!
!
@@ -212,14 +196,12 @@ child is routed to the timer service started at the first-level init instance.
!
!
!
-!
!
!
!
!
!
!
-!
!
!
!
@@ -228,11 +210,9 @@ child is routed to the timer service started at the first-level init instance.
!
!
!
-!
!
!
!
-!
!
!
!
diff --git a/repos/os/run/ahci_bench.run b/repos/os/run/ahci_bench.run
index a889afd82..ec931c510 100644
--- a/repos/os/run/ahci_bench.run
+++ b/repos/os/run/ahci_bench.run
@@ -36,12 +36,10 @@ set config {
-
-
diff --git a/repos/os/run/ahci_blk.run b/repos/os/run/ahci_blk.run
index d0e5e6efb..dd60f297c 100644
--- a/repos/os/run/ahci_blk.run
+++ b/repos/os/run/ahci_blk.run
@@ -36,12 +36,10 @@ set config {
-
-
diff --git a/repos/os/run/audio_out_click.run b/repos/os/run/audio_out_click.run
index 90f87f9ca..383aa9aae 100644
--- a/repos/os/run/audio_out_click.run
+++ b/repos/os/run/audio_out_click.run
@@ -33,12 +33,10 @@ append config {
-
-
diff --git a/repos/os/run/blk.run b/repos/os/run/blk.run
index d183d2e99..1f89dd0b8 100644
--- a/repos/os/run/blk.run
+++ b/repos/os/run/blk.run
@@ -21,12 +21,10 @@ install_config {
-
-
@@ -51,4 +49,4 @@ install_config {
build_boot_image { core init timer test-blk-srv test-blk-cli rpc_name }
append qemu_args " -nographic -m 64 "
-run_genode_until "Tests finished successfully.*\n" 100
\ No newline at end of file
+run_genode_until "Tests finished successfully.*\n" 100
diff --git a/repos/os/run/blk_cache.run b/repos/os/run/blk_cache.run
index 7555874ef..c9883c709 100644
--- a/repos/os/run/blk_cache.run
+++ b/repos/os/run/blk_cache.run
@@ -24,12 +24,10 @@ install_config {
-
-
diff --git a/repos/os/run/bomb.run b/repos/os/run/bomb.run
index 5d3cce8d6..a0050956e 100644
--- a/repos/os/run/bomb.run
+++ b/repos/os/run/bomb.run
@@ -20,12 +20,10 @@ set config {
-
-
diff --git a/repos/os/run/clipboard.run b/repos/os/run/clipboard.run
index 102f7cb51..01789292b 100644
--- a/repos/os/run/clipboard.run
+++ b/repos/os/run/clipboard.run
@@ -25,8 +25,6 @@ append config {
-
-
diff --git a/repos/os/run/config_args.run b/repos/os/run/config_args.run
index f6f5eee8e..c4c3b9353 100644
--- a/repos/os/run/config_args.run
+++ b/repos/os/run/config_args.run
@@ -9,11 +9,9 @@ install_config {
-
-
diff --git a/repos/os/run/cpu_quota.run b/repos/os/run/cpu_quota.run
index 211c95d8a..854e30bd6 100644
--- a/repos/os/run/cpu_quota.run
+++ b/repos/os/run/cpu_quota.run
@@ -25,12 +25,10 @@ install_config {
-
-
@@ -52,12 +50,10 @@ install_config {
-
-
@@ -85,12 +81,10 @@ install_config {
-
-
diff --git a/repos/os/run/cpufreq.run b/repos/os/run/cpufreq.run
index 08b8e6eff..b225997f7 100644
--- a/repos/os/run/cpufreq.run
+++ b/repos/os/run/cpufreq.run
@@ -29,12 +29,10 @@ set config {
-
-
diff --git a/repos/os/run/demo.run b/repos/os/run/demo.run
index 90711cf61..b795255f9 100644
--- a/repos/os/run/demo.run
+++ b/repos/os/run/demo.run
@@ -39,12 +39,10 @@ append config {
-
-
diff --git a/repos/os/run/dynamic_config.run b/repos/os/run/dynamic_config.run
index 1786f00a8..4c471ec75 100644
--- a/repos/os/run/dynamic_config.run
+++ b/repos/os/run/dynamic_config.run
@@ -9,11 +9,9 @@ install_config {
-
-
diff --git a/repos/os/run/dynamic_config_loader.run b/repos/os/run/dynamic_config_loader.run
index b78ac1e06..9e45e95a2 100644
--- a/repos/os/run/dynamic_config_loader.run
+++ b/repos/os/run/dynamic_config_loader.run
@@ -9,11 +9,9 @@ install_config {
-
-
diff --git a/repos/os/run/dynamic_config_slave.run b/repos/os/run/dynamic_config_slave.run
index f2fcba330..f0887666e 100644
--- a/repos/os/run/dynamic_config_slave.run
+++ b/repos/os/run/dynamic_config_slave.run
@@ -9,11 +9,9 @@ install_config {
-
-
diff --git a/repos/os/run/fault_detection.run b/repos/os/run/fault_detection.run
index 6241ef65f..e6c300b3a 100644
--- a/repos/os/run/fault_detection.run
+++ b/repos/os/run/fault_detection.run
@@ -37,12 +37,10 @@ install_config {
-
-
diff --git a/repos/os/run/fb_bench.run b/repos/os/run/fb_bench.run
index 8ee7c6276..16f42e415 100644
--- a/repos/os/run/fb_bench.run
+++ b/repos/os/run/fb_bench.run
@@ -26,12 +26,10 @@ append config {
-
-
diff --git a/repos/os/run/framebuffer.run b/repos/os/run/framebuffer.run
index 39a8bcc11..8ffc86838 100644
--- a/repos/os/run/framebuffer.run
+++ b/repos/os/run/framebuffer.run
@@ -26,12 +26,10 @@ append config {
-
-
diff --git a/repos/os/run/fs_log.run b/repos/os/run/fs_log.run
index 1005be537..fbf6e697c 100644
--- a/repos/os/run/fs_log.run
+++ b/repos/os/run/fs_log.run
@@ -14,14 +14,12 @@ set rounds 20
set config {
-
-
diff --git a/repos/os/run/gpio_drv.run b/repos/os/run/gpio_drv.run
index 264295bef..8d75f2195 100644
--- a/repos/os/run/gpio_drv.run
+++ b/repos/os/run/gpio_drv.run
@@ -28,12 +28,10 @@ append config {
-
-
diff --git a/repos/os/run/gpio_led.run b/repos/os/run/gpio_led.run
index f4109bcdc..114441d6e 100644
--- a/repos/os/run/gpio_led.run
+++ b/repos/os/run/gpio_led.run
@@ -29,12 +29,10 @@ append config {
-
-
diff --git a/repos/os/run/gpio_signal.run b/repos/os/run/gpio_signal.run
index a412d4fee..c062b261b 100644
--- a/repos/os/run/gpio_signal.run
+++ b/repos/os/run/gpio_signal.run
@@ -29,12 +29,10 @@ append config {
-
-
diff --git a/repos/os/run/input.run b/repos/os/run/input.run
index 567195458..412030489 100644
--- a/repos/os/run/input.run
+++ b/repos/os/run/input.run
@@ -30,12 +30,10 @@ append config {
-
-
@@ -43,11 +41,9 @@ append config {
-
-
@@ -59,11 +55,9 @@ append config {
-
-
@@ -75,7 +69,6 @@ append config {
-
diff --git a/repos/os/run/kdb_uart_drv.run b/repos/os/run/kdb_uart_drv.run
index 44cf37b12..718231858 100644
--- a/repos/os/run/kdb_uart_drv.run
+++ b/repos/os/run/kdb_uart_drv.run
@@ -32,12 +32,10 @@ set config {
-
-
diff --git a/repos/os/run/loader.run b/repos/os/run/loader.run
index 7aabff8d9..5945c91aa 100644
--- a/repos/os/run/loader.run
+++ b/repos/os/run/loader.run
@@ -29,12 +29,10 @@ append config {
-
-
diff --git a/repos/os/run/mixer.run b/repos/os/run/mixer.run
index 4de5ba9e3..dca174228 100644
--- a/repos/os/run/mixer.run
+++ b/repos/os/run/mixer.run
@@ -32,12 +32,10 @@ set config {
-
-
diff --git a/repos/os/run/nic_loopback.run b/repos/os/run/nic_loopback.run
index feba9e34a..c342ce58a 100644
--- a/repos/os/run/nic_loopback.run
+++ b/repos/os/run/nic_loopback.run
@@ -24,12 +24,10 @@ append config {
-
-
diff --git a/repos/os/run/panda_uart4_echo.run b/repos/os/run/panda_uart4_echo.run
index 8a529934c..3f2f97777 100644
--- a/repos/os/run/panda_uart4_echo.run
+++ b/repos/os/run/panda_uart4_echo.run
@@ -27,12 +27,10 @@ set config {
-
-
diff --git a/repos/os/run/part_blk.run b/repos/os/run/part_blk.run
index d47d9f8a4..b1d10a616 100644
--- a/repos/os/run/part_blk.run
+++ b/repos/os/run/part_blk.run
@@ -44,12 +44,10 @@ install_config {
-
-
diff --git a/repos/os/run/report_rom.run b/repos/os/run/report_rom.run
index aa3dab01f..cc499a404 100644
--- a/repos/os/run/report_rom.run
+++ b/repos/os/run/report_rom.run
@@ -10,12 +10,10 @@ install_config {
-
-
diff --git a/repos/os/run/resource_request.run b/repos/os/run/resource_request.run
index def804e3f..246afee47 100644
--- a/repos/os/run/resource_request.run
+++ b/repos/os/run/resource_request.run
@@ -9,12 +9,10 @@ install_config {
-
-
diff --git a/repos/os/run/resource_yield.run b/repos/os/run/resource_yield.run
index a1e6db22c..d15304312 100644
--- a/repos/os/run/resource_yield.run
+++ b/repos/os/run/resource_yield.run
@@ -9,12 +9,10 @@ install_config {
-
-
diff --git a/repos/os/run/rom_blk.run b/repos/os/run/rom_blk.run
index 3a28b7925..2291b6b04 100644
--- a/repos/os/run/rom_blk.run
+++ b/repos/os/run/rom_blk.run
@@ -13,12 +13,10 @@ install_config {
-
-
diff --git a/repos/os/run/rom_filter.run b/repos/os/run/rom_filter.run
index 1c4ddb259..a86518808 100644
--- a/repos/os/run/rom_filter.run
+++ b/repos/os/run/rom_filter.run
@@ -25,8 +25,6 @@ append config {
-
-
diff --git a/repos/os/run/rom_to_file.run b/repos/os/run/rom_to_file.run
index 06a497db3..b7a49dca7 100644
--- a/repos/os/run/rom_to_file.run
+++ b/repos/os/run/rom_to_file.run
@@ -19,10 +19,8 @@ create_boot_directory
install_config {
-
-
diff --git a/repos/os/run/rtc.run b/repos/os/run/rtc.run
index 2844e41dc..e6c6338e1 100644
--- a/repos/os/run/rtc.run
+++ b/repos/os/run/rtc.run
@@ -12,12 +12,10 @@ install_config {
-
-
diff --git a/repos/os/run/sd_card.run b/repos/os/run/sd_card.run
index 7bea30645..29f1c24f6 100644
--- a/repos/os/run/sd_card.run
+++ b/repos/os/run/sd_card.run
@@ -27,12 +27,10 @@ set config {
-
-
diff --git a/repos/os/run/sd_card_bench.run b/repos/os/run/sd_card_bench.run
index 775199205..85453b6fd 100644
--- a/repos/os/run/sd_card_bench.run
+++ b/repos/os/run/sd_card_bench.run
@@ -22,12 +22,10 @@ install_config {
-
-
diff --git a/repos/os/run/signal.run b/repos/os/run/signal.run
index 1990308c8..3b4564d51 100644
--- a/repos/os/run/signal.run
+++ b/repos/os/run/signal.run
@@ -9,12 +9,10 @@ install_config {
-
-
diff --git a/repos/os/run/synced_interface.run b/repos/os/run/synced_interface.run
index b90f3208f..e1307958c 100644
--- a/repos/os/run/synced_interface.run
+++ b/repos/os/run/synced_interface.run
@@ -9,9 +9,7 @@ install_config {
-
-
diff --git a/repos/os/run/tar_rom.run b/repos/os/run/tar_rom.run
index 97b596d39..562d8a2a1 100644
--- a/repos/os/run/tar_rom.run
+++ b/repos/os/run/tar_rom.run
@@ -30,12 +30,10 @@ install_config {
-
-
diff --git a/repos/os/run/terminal_crosslink.run b/repos/os/run/terminal_crosslink.run
index 2a4c1d274..d4e6c018a 100644
--- a/repos/os/run/terminal_crosslink.run
+++ b/repos/os/run/terminal_crosslink.run
@@ -27,12 +27,10 @@ append config {
-
-
diff --git a/repos/os/run/thread_join.run b/repos/os/run/thread_join.run
index 5ee143ccf..7102c3fd3 100644
--- a/repos/os/run/thread_join.run
+++ b/repos/os/run/thread_join.run
@@ -9,12 +9,10 @@ install_config {
-
-
diff --git a/repos/os/run/timed_semaphore.run b/repos/os/run/timed_semaphore.run
index 9a45eed0c..eb3aa72f1 100644
--- a/repos/os/run/timed_semaphore.run
+++ b/repos/os/run/timed_semaphore.run
@@ -22,12 +22,10 @@ install_config {
-
-
diff --git a/repos/os/run/timer.run b/repos/os/run/timer.run
index a6c0f55e8..f010007d4 100644
--- a/repos/os/run/timer.run
+++ b/repos/os/run/timer.run
@@ -19,12 +19,10 @@ install_config {
-
-
diff --git a/repos/os/run/trace.run b/repos/os/run/trace.run
index 99c2d96c7..76b7d665a 100644
--- a/repos/os/run/trace.run
+++ b/repos/os/run/trace.run
@@ -25,12 +25,10 @@ append config {
-
-
diff --git a/repos/os/run/tz_vmm.run b/repos/os/run/tz_vmm.run
index f4ba47c5f..71aa46471 100644
--- a/repos/os/run/tz_vmm.run
+++ b/repos/os/run/tz_vmm.run
@@ -126,12 +126,10 @@ set config {
-
-
diff --git a/repos/os/run/uart.run b/repos/os/run/uart.run
index 5ed156769..673fbea4e 100644
--- a/repos/os/run/uart.run
+++ b/repos/os/run/uart.run
@@ -25,12 +25,10 @@ set config {
-
-
diff --git a/repos/os/run/usb_block.run b/repos/os/run/usb_block.run
index dc75591e8..06d3b49a6 100644
--- a/repos/os/run/usb_block.run
+++ b/repos/os/run/usb_block.run
@@ -35,12 +35,10 @@ set config {
-
-
diff --git a/repos/os/run/vfs_stress_fs.run b/repos/os/run/vfs_stress_fs.run
index 7a7ea2613..0acb61145 100644
--- a/repos/os/run/vfs_stress_fs.run
+++ b/repos/os/run/vfs_stress_fs.run
@@ -12,7 +12,6 @@ install_config {
-
@@ -21,7 +20,6 @@ install_config {
-
diff --git a/repos/os/run/vfs_stress_ram.run b/repos/os/run/vfs_stress_ram.run
index 7b9852315..5527580f5 100644
--- a/repos/os/run/vfs_stress_ram.run
+++ b/repos/os/run/vfs_stress_ram.run
@@ -12,7 +12,6 @@ install_config {
-
@@ -21,7 +20,6 @@ install_config {
-
diff --git a/repos/os/run/vmm.run b/repos/os/run/vmm.run
index 943b14e9a..df55057ac 100644
--- a/repos/os/run/vmm.run
+++ b/repos/os/run/vmm.run
@@ -23,12 +23,10 @@ install_config {
-
-
diff --git a/repos/os/run/volatile_object.run b/repos/os/run/volatile_object.run
index efa4ed83a..ef335bfec 100644
--- a/repos/os/run/volatile_object.run
+++ b/repos/os/run/volatile_object.run
@@ -9,9 +9,7 @@ install_config {
-
-
diff --git a/repos/os/run/weak_ptr.run b/repos/os/run/weak_ptr.run
index 04065a544..43433e1ed 100644
--- a/repos/os/run/weak_ptr.run
+++ b/repos/os/run/weak_ptr.run
@@ -7,7 +7,6 @@ install_config {
-
@@ -15,7 +14,6 @@ install_config {
-
diff --git a/repos/os/run/xml_generator.run b/repos/os/run/xml_generator.run
index 5e14f9b10..de66c7f62 100644
--- a/repos/os/run/xml_generator.run
+++ b/repos/os/run/xml_generator.run
@@ -7,12 +7,10 @@ install_config {
-
-
diff --git a/repos/os/src/app/cli_monitor/gdb_command_config b/repos/os/src/app/cli_monitor/gdb_command_config
index 5c912d556..4af00d92b 100644
--- a/repos/os/src/app/cli_monitor/gdb_command_config
+++ b/repos/os/src/app/cli_monitor/gdb_command_config
@@ -4,12 +4,10 @@
-
-
diff --git a/repos/os/src/init/config.priority b/repos/os/src/init/config.priority
index e4f4d3667..11247defe 100644
--- a/repos/os/src/init/config.priority
+++ b/repos/os/src/init/config.priority
@@ -27,12 +27,10 @@ nodes:
-
-
@@ -51,12 +49,10 @@ nodes:
-
-
@@ -74,10 +70,8 @@ nodes:
-
-
diff --git a/repos/os/src/test/dynamic_config/master/main.cc b/repos/os/src/test/dynamic_config/master/main.cc
index ad0e17233..f7a532a3a 100644
--- a/repos/os/src/test/dynamic_config/master/main.cc
+++ b/repos/os/src/test/dynamic_config/master/main.cc
@@ -22,7 +22,7 @@ struct Test_slave_policy : Genode::Slave_policy
const char **_permitted_services() const
{
static const char *permitted_services[] = {
- "RM", "LOG", "SIGNAL", 0 };
+ "RM", "LOG", 0 };
return permitted_services;
};
diff --git a/repos/os/src/test/resource_yield/main.cc b/repos/os/src/test/resource_yield/main.cc
index 05beb9c99..97d0d0981 100644
--- a/repos/os/src/test/resource_yield/main.cc
+++ b/repos/os/src/test/resource_yield/main.cc
@@ -260,7 +260,7 @@ class Parent : Genode::Slave_policy
char const **_permitted_services() const
{
- static char const *services[] = { "RM", "SIGNAL", "LOG", "Timer" };
+ static char const *services[] = { "RM", "LOG", "Timer" };
return services;
}
diff --git a/repos/ports-foc/run/l4linux.run b/repos/ports-foc/run/l4linux.run
index bc56aa079..93716c4f0 100644
--- a/repos/ports-foc/run/l4linux.run
+++ b/repos/ports-foc/run/l4linux.run
@@ -41,12 +41,10 @@ set config {
-
-
diff --git a/repos/ports-foc/run/l4linux_ahci_bench.run b/repos/ports-foc/run/l4linux_ahci_bench.run
index 036314632..933a7d3ff 100644
--- a/repos/ports-foc/run/l4linux_ahci_bench.run
+++ b/repos/ports-foc/run/l4linux_ahci_bench.run
@@ -36,12 +36,10 @@ set config {
-
-
diff --git a/repos/ports-foc/run/l4linux_netperf.inc b/repos/ports-foc/run/l4linux_netperf.inc
index 00b9d0eca..c37c6dd18 100644
--- a/repos/ports-foc/run/l4linux_netperf.inc
+++ b/repos/ports-foc/run/l4linux_netperf.inc
@@ -78,12 +78,10 @@ set config {
-
-
diff --git a/repos/ports-foc/run/linux_panda.run b/repos/ports-foc/run/linux_panda.run
index 6304cb1a5..73f3d3c9c 100644
--- a/repos/ports-foc/run/linux_panda.run
+++ b/repos/ports-foc/run/linux_panda.run
@@ -30,12 +30,10 @@ set config {
-
-
diff --git a/repos/ports/run/debug_nitpicker.run b/repos/ports/run/debug_nitpicker.run
index 485fc812b..bf95e4e59 100644
--- a/repos/ports/run/debug_nitpicker.run
+++ b/repos/ports/run/debug_nitpicker.run
@@ -44,12 +44,10 @@ set config {
-
-
diff --git a/repos/ports/run/dosbox.run b/repos/ports/run/dosbox.run
index fb8e98f99..ac1511b3a 100644
--- a/repos/ports/run/dosbox.run
+++ b/repos/ports/run/dosbox.run
@@ -38,12 +38,10 @@ append config {
-
-
diff --git a/repos/ports/run/gdb_monitor.run b/repos/ports/run/gdb_monitor.run
index b959b7dab..731ba2542 100644
--- a/repos/ports/run/gdb_monitor.run
+++ b/repos/ports/run/gdb_monitor.run
@@ -41,12 +41,10 @@ set config {
-
-
diff --git a/repos/ports/run/gdb_monitor_interactive.run b/repos/ports/run/gdb_monitor_interactive.run
index d9b36bd5a..fe10181d1 100644
--- a/repos/ports/run/gdb_monitor_interactive.run
+++ b/repos/ports/run/gdb_monitor_interactive.run
@@ -30,12 +30,10 @@ set config {
-
-
diff --git a/repos/ports/run/gdb_monitor_target_config.run b/repos/ports/run/gdb_monitor_target_config.run
index 5f03c30af..0621f4da3 100644
--- a/repos/ports/run/gdb_monitor_target_config.run
+++ b/repos/ports/run/gdb_monitor_target_config.run
@@ -29,12 +29,10 @@ set config {
-
-
diff --git a/repos/ports/run/genode_org.run b/repos/ports/run/genode_org.run
index c6dd41ccb..9ea85cf5d 100644
--- a/repos/ports/run/genode_org.run
+++ b/repos/ports/run/genode_org.run
@@ -42,7 +42,6 @@ append config {
-
@@ -50,7 +49,6 @@ append config {
-
diff --git a/repos/ports/run/libc_noux.run b/repos/ports/run/libc_noux.run
index e6ec954a8..5b459da08 100644
--- a/repos/ports/run/libc_noux.run
+++ b/repos/ports/run/libc_noux.run
@@ -21,7 +21,6 @@ append config {
-
@@ -29,7 +28,6 @@ append config {
-
diff --git a/repos/ports/run/lighttpd.run b/repos/ports/run/lighttpd.run
index 60b99374a..959b4bc7d 100644
--- a/repos/ports/run/lighttpd.run
+++ b/repos/ports/run/lighttpd.run
@@ -23,7 +23,6 @@ append config {
-
@@ -31,7 +30,6 @@ append config {
-
diff --git a/repos/ports/run/netperf.inc b/repos/ports/run/netperf.inc
index 115a3d541..87e5d0b12 100644
--- a/repos/ports/run/netperf.inc
+++ b/repos/ports/run/netperf.inc
@@ -104,12 +104,10 @@ set config {
-
-
diff --git a/repos/ports/run/noux.run b/repos/ports/run/noux.run
index dc1bc1cd2..ae71c9074 100644
--- a/repos/ports/run/noux.run
+++ b/repos/ports/run/noux.run
@@ -12,7 +12,6 @@ install_config {
-
@@ -20,7 +19,6 @@ install_config {
-
diff --git a/repos/ports/run/noux_bash.run b/repos/ports/run/noux_bash.run
index bf3a3e0a7..1e7877b4a 100644
--- a/repos/ports/run/noux_bash.run
+++ b/repos/ports/run/noux_bash.run
@@ -57,7 +57,6 @@ append config {
-
@@ -65,7 +64,6 @@ append config {
-
diff --git a/repos/ports/run/noux_fork.run b/repos/ports/run/noux_fork.run
index 9c33e3632..aae44148c 100644
--- a/repos/ports/run/noux_fork.run
+++ b/repos/ports/run/noux_fork.run
@@ -9,7 +9,6 @@ install_config {
-
@@ -17,7 +16,6 @@ install_config {
-
diff --git a/repos/ports/run/noux_gdb.run b/repos/ports/run/noux_gdb.run
index 5ab2d0cb1..e8bb718ef 100644
--- a/repos/ports/run/noux_gdb.run
+++ b/repos/ports/run/noux_gdb.run
@@ -57,7 +57,6 @@ append config {
-
@@ -65,7 +64,6 @@ append config {
-
diff --git a/repos/ports/run/noux_gdb_dynamic.run b/repos/ports/run/noux_gdb_dynamic.run
index 1a836175b..7c928eeca 100644
--- a/repos/ports/run/noux_gdb_dynamic.run
+++ b/repos/ports/run/noux_gdb_dynamic.run
@@ -44,7 +44,6 @@ append config {
-
@@ -52,7 +51,6 @@ append config {
-
diff --git a/repos/ports/run/noux_net_lighttpd.run b/repos/ports/run/noux_net_lighttpd.run
index eafa46a2a..fc51433b9 100644
--- a/repos/ports/run/noux_net_lighttpd.run
+++ b/repos/ports/run/noux_net_lighttpd.run
@@ -70,7 +70,6 @@ append config {
-
@@ -78,7 +77,6 @@ append config {
-
diff --git a/repos/ports/run/noux_net_netcat.run b/repos/ports/run/noux_net_netcat.run
index fc0065f48..7b3462f56 100644
--- a/repos/ports/run/noux_net_netcat.run
+++ b/repos/ports/run/noux_net_netcat.run
@@ -46,7 +46,6 @@ append config {
-
@@ -54,7 +53,6 @@ append config {
-
diff --git a/repos/ports/run/noux_shell_script.run b/repos/ports/run/noux_shell_script.run
index 8dae623a2..ffa971602 100644
--- a/repos/ports/run/noux_shell_script.run
+++ b/repos/ports/run/noux_shell_script.run
@@ -39,7 +39,6 @@ append config {
-
@@ -47,7 +46,6 @@ append config {
-
diff --git a/repos/ports/run/noux_signals.run b/repos/ports/run/noux_signals.run
index d4c486130..d9c10b46e 100644
--- a/repos/ports/run/noux_signals.run
+++ b/repos/ports/run/noux_signals.run
@@ -16,7 +16,6 @@ append config {
-
@@ -24,7 +23,6 @@ append config {
-
diff --git a/repos/ports/run/noux_terminal_fs.run b/repos/ports/run/noux_terminal_fs.run
index dd397386c..93b55c0f1 100644
--- a/repos/ports/run/noux_terminal_fs.run
+++ b/repos/ports/run/noux_terminal_fs.run
@@ -44,7 +44,6 @@ append config {
-
@@ -52,7 +51,6 @@ append config {
-
diff --git a/repos/ports/run/noux_tool_chain.inc b/repos/ports/run/noux_tool_chain.inc
index ce90d6245..1decc7927 100644
--- a/repos/ports/run/noux_tool_chain.inc
+++ b/repos/ports/run/noux_tool_chain.inc
@@ -96,7 +96,6 @@ append config {
-
@@ -104,7 +103,6 @@ append config {
-
diff --git a/repos/ports/run/noux_trace_fs.run b/repos/ports/run/noux_trace_fs.run
index a18a51301..f171dc6ae 100644
--- a/repos/ports/run/noux_trace_fs.run
+++ b/repos/ports/run/noux_trace_fs.run
@@ -65,7 +65,6 @@ append config {
-
@@ -73,7 +72,6 @@ append config {
-
diff --git a/repos/ports/run/noux_two_terminal_fs.run b/repos/ports/run/noux_two_terminal_fs.run
index 9dbee5325..b0a3d3de2 100644
--- a/repos/ports/run/noux_two_terminal_fs.run
+++ b/repos/ports/run/noux_two_terminal_fs.run
@@ -44,7 +44,6 @@ append config {
-
@@ -52,7 +51,6 @@ append config {
-
diff --git a/repos/ports/run/noux_uname.run b/repos/ports/run/noux_uname.run
index aaef5b609..ef7edc059 100644
--- a/repos/ports/run/noux_uname.run
+++ b/repos/ports/run/noux_uname.run
@@ -12,7 +12,6 @@ install_config {
-
@@ -20,7 +19,6 @@ install_config {
-
diff --git a/repos/ports/run/noux_vim.run b/repos/ports/run/noux_vim.run
index e47bfe75a..c59db596e 100644
--- a/repos/ports/run/noux_vim.run
+++ b/repos/ports/run/noux_vim.run
@@ -26,7 +26,6 @@ append config {
-
@@ -34,7 +33,6 @@ append config {
-
diff --git a/repos/ports/run/seoul.inc b/repos/ports/run/seoul.inc
index f5465966d..071bb14e7 100644
--- a/repos/ports/run/seoul.inc
+++ b/repos/ports/run/seoul.inc
@@ -150,12 +150,10 @@ append config {
-
-
@@ -354,12 +352,10 @@ if {$use_fancy_stuff} {
-
-
diff --git a/repos/ports/run/vbox_pointer.run b/repos/ports/run/vbox_pointer.run
index 52c552ebf..1ddae5208 100644
--- a/repos/ports/run/vbox_pointer.run
+++ b/repos/ports/run/vbox_pointer.run
@@ -34,12 +34,10 @@ set config {
-
-
@@ -48,8 +46,6 @@ set config {
-
-
@@ -64,8 +60,6 @@ set config {
-
-
@@ -86,8 +80,6 @@ set config {
-
-
@@ -108,8 +100,6 @@ set config {
-
-
@@ -132,8 +122,6 @@ set config {
-
-
@@ -142,7 +130,6 @@ set config {
-
@@ -152,7 +139,6 @@ set config {
-
@@ -162,7 +148,6 @@ set config {
-
@@ -185,8 +170,6 @@ set config {
-
-
@@ -196,7 +179,6 @@ set config {
-
@@ -215,7 +197,6 @@ set config {
-
@@ -231,8 +212,6 @@ set config {
-
-
@@ -246,8 +225,6 @@ set config {
-
-
@@ -261,8 +238,6 @@ set config {
-
-
@@ -276,8 +251,6 @@ set config {
-
-
@@ -291,9 +264,6 @@ set config {
-
-
-
@@ -306,8 +276,6 @@ set config {
-
-
diff --git a/repos/ports/run/virtualbox.run b/repos/ports/run/virtualbox.run
index 13d74332a..78e4dedfa 100644
--- a/repos/ports/run/virtualbox.run
+++ b/repos/ports/run/virtualbox.run
@@ -34,12 +34,10 @@ set config {
-
-
diff --git a/repos/ports/run/virtualbox_auto.inc b/repos/ports/run/virtualbox_auto.inc
index a589954ec..1d74d5767 100644
--- a/repos/ports/run/virtualbox_auto.inc
+++ b/repos/ports/run/virtualbox_auto.inc
@@ -39,12 +39,10 @@ set config {
-
-
diff --git a/repos/ports/run/vmm_utils.run b/repos/ports/run/vmm_utils.run
index 2d00b6475..8883a1d56 100644
--- a/repos/ports/run/vmm_utils.run
+++ b/repos/ports/run/vmm_utils.run
@@ -10,12 +10,10 @@ install_config {
-
-
diff --git a/repos/ports/src/app/arora/demo/nitpicker_plugin/config.plugin b/repos/ports/src/app/arora/demo/nitpicker_plugin/config.plugin
index 76cf7b66a..0251d7ff8 100644
--- a/repos/ports/src/app/arora/demo/nitpicker_plugin/config.plugin
+++ b/repos/ports/src/app/arora/demo/nitpicker_plugin/config.plugin
@@ -2,12 +2,10 @@
-
-