From 3bceefc9cf9011e09492b632decfac6264228a60 Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Tue, 3 May 2016 14:41:13 +0200 Subject: [PATCH] Omit superfluous use of "CAP"/"SIGNAL" services The functionality of the former "CAP" and "SIGNAL" services is now provided by core's "PD" service. --- repos/base-foc/run/cap_integrity.run | 2 -- repos/base-hw/run/nested_init.run | 6 ---- repos/base-linux/run/lx_fs.run | 2 -- repos/base-linux/run/lx_rmap.inc | 2 -- repos/base-linux/run/lx_uid.run | 4 --- repos/base-linux/run/region_map_mmap.run | 2 -- repos/base-linux/src/core/include/core_env.h | 2 -- repos/base-nova/run/platform.run | 2 -- repos/base/run/affinity.run | 2 -- repos/base/run/affinity_subspace.run | 2 -- repos/base/run/fpu.run | 2 -- repos/base/run/platform_drv.inc | 2 -- repos/base/run/rm_fault.run | 2 -- repos/base/run/rm_nested.run | 2 -- repos/base/run/slab.run | 2 -- repos/base/run/sub_rm.run | 2 -- repos/dde_bsd/run/audio_in.run | 2 -- repos/dde_bsd/run/audio_out.run | 2 -- repos/dde_linux/run/intel_fb.run | 2 -- repos/dde_linux/run/linux_nic_panda.run | 2 -- repos/dde_linux/run/usb_hid.run | 2 -- repos/dde_linux/run/usb_hid_panda.run | 2 -- repos/dde_linux/run/usb_net.run | 2 -- repos/dde_linux/run/usb_storage.run | 2 -- repos/dde_linux/run/usb_terminal.run | 2 -- repos/dde_linux/run/wifi.run | 2 -- repos/dde_rump/run/rump_cgd_ext2.run | 2 -- repos/dde_rump/run/rump_ext2.run | 2 -- repos/dde_rump/run/rump_fat.run | 2 -- repos/dde_rump/run/rump_iso.run | 2 -- repos/demo/src/lib/launchpad/launchpad.cc | 3 +- repos/gems/include/gems/report_rom_slave.h | 2 +- repos/gems/run/cpu_load_display.run | 2 -- repos/gems/run/decorator.run | 2 -- repos/gems/run/decorator_stress.run | 2 -- repos/gems/run/http_blk.run | 2 -- repos/gems/run/launcher.run | 2 -- repos/gems/run/menu_view.run | 2 -- repos/gems/run/mixer_gui_qt_test.run | 2 -- repos/gems/run/nano3d.run | 2 -- repos/gems/run/nit_fader.run | 2 -- repos/gems/run/tcp_terminal.run | 2 -- repos/gems/run/terminal_echo.run | 2 -- repos/gems/run/terminal_log.run | 2 -- repos/gems/run/terminal_mux.run | 2 -- repos/gems/run/wm.run | 2 -- repos/gems/src/app/launcher/menu_view_slave.h | 2 +- repos/gems/src/app/launcher/nit_fader_slave.h | 2 +- repos/hello_tutorial/config/config | 2 -- repos/hello_tutorial/doc/hello_tutorial.txt | 6 ---- repos/hello_tutorial/run/hello.run | 2 -- repos/libports/run/avplay.run | 2 -- repos/libports/run/eglgears.run | 4 --- repos/libports/run/expat.run | 2 -- repos/libports/run/http_srv_tracing.run | 2 -- .../http_srv_tracing_nonblocking_panda.run | 2 -- repos/libports/run/http_srv_tracing_panda.run | 2 -- repos/libports/run/libc_block.run | 2 -- repos/libports/run/libc_ffat_fs.run | 2 -- repos/libports/run/libc_filesystem_test.inc | 2 -- repos/libports/run/libc_fs_tar_fs.run | 2 -- repos/libports/run/libc_vfs.run | 2 -- repos/libports/run/libc_vfs_fs.run | 2 -- repos/libports/run/libc_vfs_ram.run | 2 -- repos/libports/run/lwip.run | 2 -- repos/libports/run/lwip_lx.run | 2 -- repos/libports/run/moon.run | 2 -- repos/libports/run/mupdf.run | 2 -- repos/libports/run/network_test.inc | 2 -- repos/libports/run/python.run | 2 -- repos/libports/run/qt5_drivers.inc | 2 -- repos/libports/run/sdl.run | 2 -- repos/libports/run/test-nicbridge_static.run | 2 -- repos/libports/run/test-nicbridge_static2.run | 2 -- repos/libports/run/test-ping_client.run | 2 -- repos/libports/run/test-ping_server.run | 2 -- .../src/app/qt5/qt_avplay/avplay_policy.h | 3 +- .../qt5/qt_avplay/filter_framebuffer_policy.h | 3 +- .../lib/qt5/qpluginwidget/qpluginwidget.cpp | 2 -- .../src/test/qt5/qpluginwidget/config.plugin | 1 - repos/os/doc/init.txt | 28 +++------------- repos/os/run/ahci_bench.run | 2 -- repos/os/run/ahci_blk.run | 2 -- repos/os/run/audio_out_click.run | 2 -- repos/os/run/blk.run | 4 +-- repos/os/run/blk_cache.run | 2 -- repos/os/run/bomb.run | 2 -- repos/os/run/clipboard.run | 2 -- repos/os/run/config_args.run | 2 -- repos/os/run/cpu_quota.run | 6 ---- repos/os/run/cpufreq.run | 2 -- repos/os/run/demo.run | 2 -- repos/os/run/dynamic_config.run | 2 -- repos/os/run/dynamic_config_loader.run | 2 -- repos/os/run/dynamic_config_slave.run | 2 -- repos/os/run/fault_detection.run | 2 -- repos/os/run/fb_bench.run | 2 -- repos/os/run/framebuffer.run | 2 -- repos/os/run/fs_log.run | 2 -- repos/os/run/gpio_drv.run | 2 -- repos/os/run/gpio_led.run | 2 -- repos/os/run/gpio_signal.run | 2 -- repos/os/run/input.run | 7 ---- repos/os/run/kdb_uart_drv.run | 2 -- repos/os/run/loader.run | 2 -- repos/os/run/mixer.run | 2 -- repos/os/run/nic_loopback.run | 2 -- repos/os/run/panda_uart4_echo.run | 2 -- repos/os/run/part_blk.run | 2 -- repos/os/run/report_rom.run | 2 -- repos/os/run/resource_request.run | 2 -- repos/os/run/resource_yield.run | 2 -- repos/os/run/rom_blk.run | 2 -- repos/os/run/rom_filter.run | 2 -- repos/os/run/rom_to_file.run | 2 -- repos/os/run/rtc.run | 2 -- repos/os/run/sd_card.run | 2 -- repos/os/run/sd_card_bench.run | 2 -- repos/os/run/signal.run | 2 -- repos/os/run/synced_interface.run | 2 -- repos/os/run/tar_rom.run | 2 -- repos/os/run/terminal_crosslink.run | 2 -- repos/os/run/thread_join.run | 2 -- repos/os/run/timed_semaphore.run | 2 -- repos/os/run/timer.run | 2 -- repos/os/run/trace.run | 2 -- repos/os/run/tz_vmm.run | 2 -- repos/os/run/uart.run | 2 -- repos/os/run/usb_block.run | 2 -- repos/os/run/vfs_stress_fs.run | 2 -- repos/os/run/vfs_stress_ram.run | 2 -- repos/os/run/vmm.run | 2 -- repos/os/run/volatile_object.run | 2 -- repos/os/run/weak_ptr.run | 2 -- repos/os/run/xml_generator.run | 2 -- .../os/src/app/cli_monitor/gdb_command_config | 2 -- repos/os/src/init/config.priority | 6 ---- .../os/src/test/dynamic_config/master/main.cc | 2 +- repos/os/src/test/resource_yield/main.cc | 2 +- repos/ports-foc/run/l4linux.run | 2 -- repos/ports-foc/run/l4linux_ahci_bench.run | 2 -- repos/ports-foc/run/l4linux_netperf.inc | 2 -- repos/ports-foc/run/linux_panda.run | 2 -- repos/ports/run/debug_nitpicker.run | 2 -- repos/ports/run/dosbox.run | 2 -- repos/ports/run/gdb_monitor.run | 2 -- repos/ports/run/gdb_monitor_interactive.run | 2 -- repos/ports/run/gdb_monitor_target_config.run | 2 -- repos/ports/run/genode_org.run | 2 -- repos/ports/run/libc_noux.run | 2 -- repos/ports/run/lighttpd.run | 2 -- repos/ports/run/netperf.inc | 2 -- repos/ports/run/noux.run | 2 -- repos/ports/run/noux_bash.run | 2 -- repos/ports/run/noux_fork.run | 2 -- repos/ports/run/noux_gdb.run | 2 -- repos/ports/run/noux_gdb_dynamic.run | 2 -- repos/ports/run/noux_net_lighttpd.run | 2 -- repos/ports/run/noux_net_netcat.run | 2 -- repos/ports/run/noux_shell_script.run | 2 -- repos/ports/run/noux_signals.run | 2 -- repos/ports/run/noux_terminal_fs.run | 2 -- repos/ports/run/noux_tool_chain.inc | 2 -- repos/ports/run/noux_trace_fs.run | 2 -- repos/ports/run/noux_two_terminal_fs.run | 2 -- repos/ports/run/noux_uname.run | 2 -- repos/ports/run/noux_vim.run | 2 -- repos/ports/run/seoul.inc | 4 --- repos/ports/run/vbox_pointer.run | 32 ------------------- repos/ports/run/virtualbox.run | 2 -- repos/ports/run/virtualbox_auto.inc | 2 -- repos/ports/run/vmm_utils.run | 2 -- .../arora/demo/nitpicker_plugin/config.plugin | 2 -- 173 files changed, 13 insertions(+), 420 deletions(-) diff --git a/repos/base-foc/run/cap_integrity.run b/repos/base-foc/run/cap_integrity.run index a5f7bf3e4e..35a835e69d 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 7ca87af617..83ba9d5ad0 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 51a5f3d557..b6f950585f 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 8fae3f1c05..0f384d1bd2 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 a8f36c8529..8493eb2850 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 3dde49d0c3..b4ef44e369 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 1a630119ec..b656d187e5 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 4ca4335432..c705e0092c 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 878961c99f..6873c0eb15 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 4e4f496523..6b09cf7505 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 6ad69d8716..a8e74f679e 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 4ed5c8cd82..d94bad8697 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 335cec2d46..6f65d3218c 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 0c23669da1..8977098c1b 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 98fce646d3..b555a4493f 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 de561dc44f..20735b7dac 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 837bd4a8d9..19ea2c4ab5 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 80ac5e925f..8357bacab7 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 352f040915..647fef9a11 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 f9f68643a7..33470dc331 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 d4f639a493..dcde8be56a 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 85a3310d34..7f9398a711 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 7fefb3ecc0..b796ce9336 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 06ca448f04..2a244146ce 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 4b989d98fa..6d5cc5b27a 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 6d3e51307b..628db6b6c8 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 5a853cd927..47b54b2c18 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 1cfd367654..985b631494 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 9e3a53204c..076082e7c9 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 5703ecfc3c..5166d353b8 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 840c9e8d44..d39f1450f1 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 28b8ccdf26..da18a99f04 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 9280c5b184..cbfb7eff7d 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 30849ec58e..7a60f3aa3f 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 9fea2af2ad..a2bf1437dd 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 f9aaaf1de7..6c89e01aae 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 d2e6087079..483f6ad93e 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 a5377a65aa..ad8ae94143 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 b79ebb2849..320355081b 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 10870ed51c..55b23f1f98 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 1378e33a5a..ed1b922d95 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 eec10f53d6..c4af04a41c 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 72269f355f..bc02cecb23 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 7562e223c4..113c0d9a8c 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 ecee02c511..8d2c0157d3 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 7d4e712f61..864615a825 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 04e4e93949..2ef836ea82 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 61ae260a47..a32b32a435 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 df638fea78..67def090a4 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 af19f269db..75d391fb49 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 adc6c25d39..09c7d292f8 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 1e7b579fc6..eb3ce85f4a 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 29d01a5955..8107430879 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 7908057d96..56932609d1 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 81c6076ed1..f47cc82905 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 18b05e72a8..56241fe8c9 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 12ac717710..1aa0d9ae0d 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 37c8e0e505..7be5ba91b2 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 652125e073..909a2a9b58 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 d67c2f2097..4dd8ee9304 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 9154f510fd..872779749e 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 f7820e8136..689d922972 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 264d2a9b80..f3adb228b3 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 f9240a1125..15b0cb5023 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 d82264c12c..ee88787c60 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 24d5168347..37b85244a3 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 9b4a510292..a4dde1cc6d 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 5fe38ba835..e053a483f7 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 c7ef6e0bf5..17cf15c86d 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 38c504820c..f29f2a58b5 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 5ac258cff7..82527a5fe1 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 3a6d69d10a..acad1eb65c 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 3a88e7a508..eb8b0ea9e1 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 486a968b9d..ef64301ebc 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 0a32d4f6dd..555187dbe3 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 30df52a0a6..50b10f117b 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 3d2d1668e6..d9f1a93d32 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 0a6b40572f..e48e1e4e16 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 9149832786..5c04ea3197 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 eda407929e..60d63733d5 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 7611345c71..42e0aa1df4 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 a889afd82b..ec931c5102 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 d0e5e6efb4..dd60f297c8 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 90f87f9cac..383aa9aae7 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 d183d2e99f..1f89dd0b84 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 7555874ef1..c9883c7096 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 5d3cce8d62..a0050956eb 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 102f7cb51f..01789292b5 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 f6f5eee8ea..c4c3b9353e 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 211c95d8a1..854e30bd6c 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 08b8e6effb..b225997f7d 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 90711cf611..b795255f97 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 1786f00a8c..4c471ec754 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 b78ac1e067..9e45e95a2e 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 f2fcba3306..f0887666e6 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 6241ef65f2..e6c300b3a6 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 8ee7c6276b..16f42e4158 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 39a8bcc11f..8ffc868385 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 1005be5372..fbf6e697cd 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 264295bef1..8d75f21959 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 f4109bcdcd..114441d6eb 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 a412d4fee5..c062b261b4 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 567195458f..412030489c 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 44cf37b12a..718231858f 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 7aabff8d94..5945c91aae 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 4de5ba9e31..dca174228e 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 feba9e34a4..c342ce58a8 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 8a529934c5..3f2f97777e 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 d47d9f8a42..b1d10a616a 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 aa3dab01f1..cc499a4048 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 def804e3fc..246afee47a 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 a1e6db22c9..d153043120 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 3a28b7925f..2291b6b048 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 1c4ddb2595..a86518808e 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 06a497db34..b7a49dca7b 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 2844e41dc9..e6c6338e16 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 7bea306451..29f1c24f65 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 775199205c..85453b6fda 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 1990308c8a..3b4564d51d 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 b90f3208f5..e1307958cc 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 97b596d399..562d8a2a1a 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 2a4c1d2749..d4e6c018a4 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 5ee143ccfa..7102c3fd35 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 9a45eed0c0..eb3aa72f10 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 a6c0f55e80..f010007d40 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 99c2d96c72..76b7d665ac 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 f4ba47c5f9..71aa464719 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 5ed156769f..673fbea4ea 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 dc75591e84..06d3b49a65 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 7a7ea26136..0acb611453 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 7b98523158..5527580f53 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 943b14e9a7..df55057acc 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 efa4ed83ac..ef335bfec4 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 04065a544e..43433e1ed2 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 5e14f9b10b..de66c7f62c 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 5c912d5567..4af00d92b0 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 e4f4d36679..11247defee 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 ad0e172339..f7a532a3a7 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 05beb9c993..97d0d09812 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 bc56aa079a..93716c4f0a 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 0363146322..933a7d3ffe 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 00b9d0ecac..c37c6dd18e 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 6304cb1a54..73f3d3c9c5 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 485fc812b6..bf95e4e599 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 fb8e98f992..ac1511b3ac 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 b959b7dab3..731ba25423 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 d9b36bd5af..fe10181d1b 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 5f03c30af0..0621f4da3b 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 c6dd41ccb1..9ea85cf5d0 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 e6ec954a8d..5b459da08d 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 60b99374a1..959b4bc7d5 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 115a3d5416..87e5d0b12d 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 dc1bc1cd29..ae71c90745 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 bf3a3e0a71..1e7877b4a5 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 9c33e36329..aae44148ce 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 5ab2d0cb13..e8bb718ef9 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 1a836175b0..7c928eeca4 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 eafa46a2a2..fc51433b91 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 fc0065f488..7b3462f564 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 8dae623a28..ffa971602a 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 d4c486130a..d9c10b46e1 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 dd397386c0..93b55c0f1c 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 ce90d62455..1decc7927a 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 a18a513014..f171dc6ae5 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 9dbee53255..b0a3d3de24 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 aaef5b6099..ef7edc059a 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 e47bfe75a8..c59db596e0 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 f5465966d2..071bb14e71 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 52c552ebf8..1ddae5208c 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 13d74332a7..78e4dedfa3 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 a589954ec8..1d74d57679 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 2d00b64758..8883a1d567 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 76cf7b66a9..0251d7ff8f 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 @@ - -