diff --git a/repos/base-foc/run/cap_integrity.run b/repos/base-foc/run/cap_integrity.run index 805841562f..c6e9c58e00 100644 --- a/repos/base-foc/run/cap_integrity.run +++ b/repos/base-foc/run/cap_integrity.run @@ -6,7 +6,6 @@ install_config { - diff --git a/repos/base-hw/run/cpu_scheduler.run b/repos/base-hw/run/cpu_scheduler.run index 454635c8df..92e424358a 100644 --- a/repos/base-hw/run/cpu_scheduler.run +++ b/repos/base-hw/run/cpu_scheduler.run @@ -16,7 +16,6 @@ install_config { - diff --git a/repos/base-linux/run/lx_fs.run b/repos/base-linux/run/lx_fs.run index d64db11a46..ca329f1406 100644 --- a/repos/base-linux/run/lx_fs.run +++ b/repos/base-linux/run/lx_fs.run @@ -23,7 +23,6 @@ install_config { - diff --git a/repos/base-linux/run/lx_hybrid_ctors.run b/repos/base-linux/run/lx_hybrid_ctors.run index da52b4194d..f5064a40c7 100644 --- a/repos/base-linux/run/lx_hybrid_ctors.run +++ b/repos/base-linux/run/lx_hybrid_ctors.run @@ -24,7 +24,6 @@ install_config { - diff --git a/repos/base-linux/run/lx_hybrid_exception.run b/repos/base-linux/run/lx_hybrid_exception.run index 5bd1b5cd57..29ef601f51 100644 --- a/repos/base-linux/run/lx_hybrid_exception.run +++ b/repos/base-linux/run/lx_hybrid_exception.run @@ -23,7 +23,6 @@ install_config { - diff --git a/repos/base-linux/run/lx_hybrid_pthread_ipc.run b/repos/base-linux/run/lx_hybrid_pthread_ipc.run index 8380ccade3..d151fd5dd2 100644 --- a/repos/base-linux/run/lx_hybrid_pthread_ipc.run +++ b/repos/base-linux/run/lx_hybrid_pthread_ipc.run @@ -20,7 +20,6 @@ install_config { - diff --git a/repos/base-linux/run/lx_uid.run b/repos/base-linux/run/lx_uid.run index 4985a27ecb..9e86448ea0 100644 --- a/repos/base-linux/run/lx_uid.run +++ b/repos/base-linux/run/lx_uid.run @@ -14,7 +14,6 @@ install_config { - diff --git a/repos/base-linux/run/region_map_mmap.run b/repos/base-linux/run/region_map_mmap.run index 7965f8c634..9e0b503c1a 100644 --- a/repos/base-linux/run/region_map_mmap.run +++ b/repos/base-linux/run/region_map_mmap.run @@ -6,7 +6,6 @@ install_config { - diff --git a/repos/base-nova/run/platform.run b/repos/base-nova/run/platform.run index c81683b574..dbef4b3171 100644 --- a/repos/base-nova/run/platform.run +++ b/repos/base-nova/run/platform.run @@ -11,7 +11,6 @@ set config { - diff --git a/repos/base/run/ada.run b/repos/base/run/ada.run index 2d3559b75a..cf5ca5a5f3 100644 --- a/repos/base/run/ada.run +++ b/repos/base/run/ada.run @@ -9,7 +9,6 @@ install_config { - diff --git a/repos/base/run/affinity.run b/repos/base/run/affinity.run index ef2b252489..d6f86bfebb 100644 --- a/repos/base/run/affinity.run +++ b/repos/base/run/affinity.run @@ -31,7 +31,6 @@ set config { - diff --git a/repos/base/run/affinity_subspace.run b/repos/base/run/affinity_subspace.run index f35b4d2f60..6301c68d52 100644 --- a/repos/base/run/affinity_subspace.run +++ b/repos/base/run/affinity_subspace.run @@ -19,7 +19,6 @@ install_config { - diff --git a/repos/base/run/ds_ownership.run b/repos/base/run/ds_ownership.run index c8dcaa8132..36e2ca7b6d 100644 --- a/repos/base/run/ds_ownership.run +++ b/repos/base/run/ds_ownership.run @@ -6,8 +6,6 @@ install_config { - - @@ -19,8 +17,6 @@ install_config { - - diff --git a/repos/base/run/fpu.run b/repos/base/run/fpu.run index 9fd6d2dd1f..73dd43a071 100644 --- a/repos/base/run/fpu.run +++ b/repos/base/run/fpu.run @@ -14,7 +14,6 @@ install_config { - diff --git a/repos/base/run/log.run b/repos/base/run/log.run index 7adc0251f2..e727ea4fb9 100644 --- a/repos/base/run/log.run +++ b/repos/base/run/log.run @@ -9,7 +9,6 @@ install_config { - diff --git a/repos/base/run/mp_server.run b/repos/base/run/mp_server.run index 4e1ddcc49c..2264f311e6 100644 --- a/repos/base/run/mp_server.run +++ b/repos/base/run/mp_server.run @@ -14,7 +14,6 @@ install_config { - diff --git a/repos/base/run/new_delete.run b/repos/base/run/new_delete.run index 95607ae883..b7d183424e 100644 --- a/repos/base/run/new_delete.run +++ b/repos/base/run/new_delete.run @@ -6,7 +6,6 @@ install_config { - diff --git a/repos/base/run/platform_drv.inc b/repos/base/run/platform_drv.inc index 3237a1b62f..3109db6232 100644 --- a/repos/base/run/platform_drv.inc +++ b/repos/base/run/platform_drv.inc @@ -138,7 +138,6 @@ proc platform_drv_config {} { - @@ -161,7 +160,6 @@ proc platform_drv_config {} { - } diff --git a/repos/base/run/reconstructible.run b/repos/base/run/reconstructible.run index e51e26fe10..4b73c80df2 100644 --- a/repos/base/run/reconstructible.run +++ b/repos/base/run/reconstructible.run @@ -6,7 +6,6 @@ install_config { - diff --git a/repos/base/run/rm_fault.run b/repos/base/run/rm_fault.run index 3ee3e0cf01..40f04b4b4e 100644 --- a/repos/base/run/rm_fault.run +++ b/repos/base/run/rm_fault.run @@ -9,7 +9,6 @@ install_config { - diff --git a/repos/base/run/rm_nested.run b/repos/base/run/rm_nested.run index 8d10e34da0..054ac9eaef 100644 --- a/repos/base/run/rm_nested.run +++ b/repos/base/run/rm_nested.run @@ -9,7 +9,6 @@ install_config { - diff --git a/repos/base/run/slab.run b/repos/base/run/slab.run index 421c9d9b9a..d96b8c3124 100644 --- a/repos/base/run/slab.run +++ b/repos/base/run/slab.run @@ -11,7 +11,6 @@ install_config { - diff --git a/repos/base/run/sub_rm.run b/repos/base/run/sub_rm.run index 314034428e..e52a9190e2 100644 --- a/repos/base/run/sub_rm.run +++ b/repos/base/run/sub_rm.run @@ -6,7 +6,6 @@ install_config { - diff --git a/repos/base/run/synced_interface.run b/repos/base/run/synced_interface.run index bb2b4c7083..bc42e93dfa 100644 --- a/repos/base/run/synced_interface.run +++ b/repos/base/run/synced_interface.run @@ -6,7 +6,6 @@ install_config { - diff --git a/repos/base/run/thread.run b/repos/base/run/thread.run index 4e84d51e49..21720e2af6 100644 --- a/repos/base/run/thread.run +++ b/repos/base/run/thread.run @@ -18,7 +18,6 @@ set config { - diff --git a/repos/base/run/util_mmio.run b/repos/base/run/util_mmio.run index 7adc280230..51d474a627 100644 --- a/repos/base/run/util_mmio.run +++ b/repos/base/run/util_mmio.run @@ -14,10 +14,8 @@ install_config { - - diff --git a/repos/base/src/test/rm_fault/main.cc b/repos/base/src/test/rm_fault/main.cc index 3e9f2fcd33..a729d9d7b2 100644 --- a/repos/base/src/test/rm_fault/main.cc +++ b/repos/base/src/test/rm_fault/main.cc @@ -145,7 +145,7 @@ struct Main_parent Parent_services(Allocator &alloc) : alloc(alloc) { static const char *names[] = { - "RAM", "PD", "CPU", "ROM", "LOG", 0 }; + "PD", "CPU", "ROM", "LOG", 0 }; for (unsigned i = 0; names[i]; i++) new (alloc) Test_child_policy::Parent_service(*this, names[i]); } diff --git a/repos/dde_bsd/run/audio_in.run b/repos/dde_bsd/run/audio_in.run index bae56d7a6b..5f073b1bc5 100644 --- a/repos/dde_bsd/run/audio_in.run +++ b/repos/dde_bsd/run/audio_in.run @@ -37,7 +37,6 @@ append config { - diff --git a/repos/dde_bsd/run/audio_out.run b/repos/dde_bsd/run/audio_out.run index 6bf0606639..902af15663 100644 --- a/repos/dde_bsd/run/audio_out.run +++ b/repos/dde_bsd/run/audio_out.run @@ -40,7 +40,6 @@ append config { - diff --git a/repos/dde_linux/run/intel_fb.run b/repos/dde_linux/run/intel_fb.run index 5a723e2ca0..a91087f747 100644 --- a/repos/dde_linux/run/intel_fb.run +++ b/repos/dde_linux/run/intel_fb.run @@ -27,7 +27,6 @@ append config { - diff --git a/repos/dde_linux/run/lxip_http_srv.run b/repos/dde_linux/run/lxip_http_srv.run index 5e89a9be7f..d21524f932 100644 --- a/repos/dde_linux/run/lxip_http_srv.run +++ b/repos/dde_linux/run/lxip_http_srv.run @@ -35,11 +35,9 @@ set config { - - diff --git a/repos/dde_linux/run/lxip_udp_echo.run b/repos/dde_linux/run/lxip_udp_echo.run index 5c5a95c3d0..82e7d2da6b 100644 --- a/repos/dde_linux/run/lxip_udp_echo.run +++ b/repos/dde_linux/run/lxip_udp_echo.run @@ -33,11 +33,9 @@ append config { - - diff --git a/repos/dde_linux/run/usb_hid.run b/repos/dde_linux/run/usb_hid.run index e8d5a34fcf..9f702ce244 100644 --- a/repos/dde_linux/run/usb_hid.run +++ b/repos/dde_linux/run/usb_hid.run @@ -85,7 +85,6 @@ append config { - diff --git a/repos/dde_linux/run/usb_hid_panda.run b/repos/dde_linux/run/usb_hid_panda.run index 71c7444175..06feeaaf97 100644 --- a/repos/dde_linux/run/usb_hid_panda.run +++ b/repos/dde_linux/run/usb_hid_panda.run @@ -21,7 +21,6 @@ append config { - diff --git a/repos/dde_linux/run/usb_net.run b/repos/dde_linux/run/usb_net.run index 120e54d91a..65e601be79 100644 --- a/repos/dde_linux/run/usb_net.run +++ b/repos/dde_linux/run/usb_net.run @@ -38,7 +38,6 @@ set config { - diff --git a/repos/dde_linux/run/usb_storage.run b/repos/dde_linux/run/usb_storage.run index 656f168380..29c39b555e 100644 --- a/repos/dde_linux/run/usb_storage.run +++ b/repos/dde_linux/run/usb_storage.run @@ -36,7 +36,6 @@ set config { - diff --git a/repos/dde_linux/run/usb_terminal.run b/repos/dde_linux/run/usb_terminal.run index d346e55733..de0177ddb9 100644 --- a/repos/dde_linux/run/usb_terminal.run +++ b/repos/dde_linux/run/usb_terminal.run @@ -43,7 +43,6 @@ append config { - diff --git a/repos/dde_linux/run/vfs_cfg.run b/repos/dde_linux/run/vfs_cfg.run index dae2ff2bfb..86e01ff337 100644 --- a/repos/dde_linux/run/vfs_cfg.run +++ b/repos/dde_linux/run/vfs_cfg.run @@ -23,7 +23,6 @@ append config { - diff --git a/repos/dde_linux/run/vfs_lxip.run b/repos/dde_linux/run/vfs_lxip.run index 62c8ea5fb8..22c25e624e 100644 --- a/repos/dde_linux/run/vfs_lxip.run +++ b/repos/dde_linux/run/vfs_lxip.run @@ -20,11 +20,9 @@ append config { - - diff --git a/repos/dde_linux/run/wifi.run b/repos/dde_linux/run/wifi.run index fb38c6d726..3ef4782e25 100644 --- a/repos/dde_linux/run/wifi.run +++ b/repos/dde_linux/run/wifi.run @@ -33,7 +33,6 @@ set config { - diff --git a/repos/dde_rump/run/libc_vfs_ext2.run b/repos/dde_rump/run/libc_vfs_ext2.run index 328fd4bd04..bf2a58a2de 100644 --- a/repos/dde_rump/run/libc_vfs_ext2.run +++ b/repos/dde_rump/run/libc_vfs_ext2.run @@ -41,7 +41,6 @@ append config { - diff --git a/repos/dde_rump/run/libc_vfs_fs_ext2.run b/repos/dde_rump/run/libc_vfs_fs_ext2.run index 2f7dad83ff..6c51bb7c6b 100644 --- a/repos/dde_rump/run/libc_vfs_fs_ext2.run +++ b/repos/dde_rump/run/libc_vfs_fs_ext2.run @@ -42,7 +42,6 @@ append config { - diff --git a/repos/dde_rump/run/rump_cgd_ext2.run b/repos/dde_rump/run/rump_cgd_ext2.run index 2c825d7f25..4531da3244 100644 --- a/repos/dde_rump/run/rump_cgd_ext2.run +++ b/repos/dde_rump/run/rump_cgd_ext2.run @@ -48,7 +48,6 @@ append config { - diff --git a/repos/dde_rump/run/rump_ext2.run b/repos/dde_rump/run/rump_ext2.run index 0865f9ecd2..3b8bc9d929 100644 --- a/repos/dde_rump/run/rump_ext2.run +++ b/repos/dde_rump/run/rump_ext2.run @@ -36,7 +36,6 @@ append config { - diff --git a/repos/dde_rump/run/rump_fat.run b/repos/dde_rump/run/rump_fat.run index 003f3b770d..708e404be5 100644 --- a/repos/dde_rump/run/rump_fat.run +++ b/repos/dde_rump/run/rump_fat.run @@ -36,7 +36,6 @@ append config { - diff --git a/repos/dde_rump/run/rump_iso.run b/repos/dde_rump/run/rump_iso.run index 098a3efeee..eebc34876e 100644 --- a/repos/dde_rump/run/rump_iso.run +++ b/repos/dde_rump/run/rump_iso.run @@ -30,7 +30,6 @@ append config { - diff --git a/repos/dde_rump/run/vfs_stress_ext2.run b/repos/dde_rump/run/vfs_stress_ext2.run index f27659606e..c5ac9be1ee 100644 --- a/repos/dde_rump/run/vfs_stress_ext2.run +++ b/repos/dde_rump/run/vfs_stress_ext2.run @@ -25,8 +25,6 @@ install_config { - - diff --git a/repos/dde_rump/run/vfs_stress_rump_fs.run b/repos/dde_rump/run/vfs_stress_rump_fs.run index 2d7fd2d2a1..ebeb3cd6eb 100644 --- a/repos/dde_rump/run/vfs_stress_rump_fs.run +++ b/repos/dde_rump/run/vfs_stress_rump_fs.run @@ -25,8 +25,6 @@ install_config { - - diff --git a/repos/demo/src/lib/launchpad/launchpad.cc b/repos/demo/src/lib/launchpad/launchpad.cc index 491ee2a808..2c56a7df25 100644 --- a/repos/demo/src/lib/launchpad/launchpad.cc +++ b/repos/demo/src/lib/launchpad/launchpad.cc @@ -36,7 +36,7 @@ Launchpad::Launchpad(Env &env, unsigned long initial_quota) static const char *names[] = { /* core services */ - "RAM", "RM", "PD", "CPU", "IO_MEM", "IO_PORT", "IRQ", "ROM", "LOG", + "RM", "PD", "CPU", "IO_MEM", "IO_PORT", "IRQ", "ROM", "LOG", /* services expected to got started by init */ "Nitpicker", "Init", "Timer", "Block", "Nic", "Rtc", diff --git a/repos/gems/recipes/raw/themed_wm/decorator_init.config b/repos/gems/recipes/raw/themed_wm/decorator_init.config index acb2a7dac0..5dfa459fef 100644 --- a/repos/gems/recipes/raw/themed_wm/decorator_init.config +++ b/repos/gems/recipes/raw/themed_wm/decorator_init.config @@ -1,7 +1,6 @@ - diff --git a/repos/gems/recipes/raw/wm/decorator_init.config b/repos/gems/recipes/raw/wm/decorator_init.config index c5e3e87ac0..c619ae141a 100644 --- a/repos/gems/recipes/raw/wm/decorator_init.config +++ b/repos/gems/recipes/raw/wm/decorator_init.config @@ -1,7 +1,6 @@ - diff --git a/repos/gems/recipes/raw/wm/wm.config b/repos/gems/recipes/raw/wm/wm.config index e638ec1765..82fb266bab 100644 --- a/repos/gems/recipes/raw/wm/wm.config +++ b/repos/gems/recipes/raw/wm/wm.config @@ -1,7 +1,6 @@ - diff --git a/repos/gems/run/cpu_load_display.run b/repos/gems/run/cpu_load_display.run index 3d7eff0c2c..03b051b9ca 100644 --- a/repos/gems/run/cpu_load_display.run +++ b/repos/gems/run/cpu_load_display.run @@ -41,7 +41,6 @@ append config { - diff --git a/repos/gems/run/cpu_sampler.run b/repos/gems/run/cpu_sampler.run index 0e0be5129c..48a82af46a 100644 --- a/repos/gems/run/cpu_sampler.run +++ b/repos/gems/run/cpu_sampler.run @@ -30,7 +30,6 @@ install_config { - diff --git a/repos/gems/run/cpu_sampler_noux.run b/repos/gems/run/cpu_sampler_noux.run index e41aa450a2..a0e40e927d 100644 --- a/repos/gems/run/cpu_sampler_noux.run +++ b/repos/gems/run/cpu_sampler_noux.run @@ -58,7 +58,6 @@ append config { - diff --git a/repos/gems/run/decorator.run b/repos/gems/run/decorator.run index 240b346740..fd372ee33f 100644 --- a/repos/gems/run/decorator.run +++ b/repos/gems/run/decorator.run @@ -14,7 +14,6 @@ install_config { - diff --git a/repos/gems/run/decorator_stress.run b/repos/gems/run/decorator_stress.run index 3bd57aa824..d4e448cdcd 100644 --- a/repos/gems/run/decorator_stress.run +++ b/repos/gems/run/decorator_stress.run @@ -15,7 +15,6 @@ install_config { - diff --git a/repos/gems/run/http_blk.run b/repos/gems/run/http_blk.run index 7b8cbb74e1..ab8a334b7b 100644 --- a/repos/gems/run/http_blk.run +++ b/repos/gems/run/http_blk.run @@ -48,7 +48,6 @@ append config { - diff --git a/repos/gems/run/launcher.run b/repos/gems/run/launcher.run index f1032630e4..628d4a6089 100644 --- a/repos/gems/run/launcher.run +++ b/repos/gems/run/launcher.run @@ -19,7 +19,6 @@ install_config { - diff --git a/repos/gems/run/menu_view.run b/repos/gems/run/menu_view.run index 8671479e5b..c01ef022e9 100644 --- a/repos/gems/run/menu_view.run +++ b/repos/gems/run/menu_view.run @@ -16,7 +16,6 @@ install_config { - diff --git a/repos/gems/run/mixer_gui_qt_test.run b/repos/gems/run/mixer_gui_qt_test.run index 90bc5a2375..f82c50b97c 100644 --- a/repos/gems/run/mixer_gui_qt_test.run +++ b/repos/gems/run/mixer_gui_qt_test.run @@ -38,7 +38,6 @@ set config { - diff --git a/repos/gems/run/nano3d.run b/repos/gems/run/nano3d.run index cf57237f87..efa6a1224d 100644 --- a/repos/gems/run/nano3d.run +++ b/repos/gems/run/nano3d.run @@ -12,7 +12,6 @@ append config { - diff --git a/repos/gems/run/nit_fader.run b/repos/gems/run/nit_fader.run index c43e5ab575..c9b15f20d8 100644 --- a/repos/gems/run/nit_fader.run +++ b/repos/gems/run/nit_fader.run @@ -11,7 +11,6 @@ install_config { - diff --git a/repos/gems/run/tcp_terminal.run b/repos/gems/run/tcp_terminal.run index 670409a6ef..81d89a32f9 100644 --- a/repos/gems/run/tcp_terminal.run +++ b/repos/gems/run/tcp_terminal.run @@ -37,7 +37,6 @@ set config { - diff --git a/repos/gems/run/terminal_decoder.run b/repos/gems/run/terminal_decoder.run index 157dd73d7d..2e416cd079 100644 --- a/repos/gems/run/terminal_decoder.run +++ b/repos/gems/run/terminal_decoder.run @@ -6,7 +6,6 @@ install_config { - diff --git a/repos/gems/run/terminal_echo.run b/repos/gems/run/terminal_echo.run index b294c5f4e0..2b6b4f1dfc 100644 --- a/repos/gems/run/terminal_echo.run +++ b/repos/gems/run/terminal_echo.run @@ -19,7 +19,6 @@ append config { - diff --git a/repos/gems/run/terminal_log.run b/repos/gems/run/terminal_log.run index 38902f5067..29091d5c3b 100644 --- a/repos/gems/run/terminal_log.run +++ b/repos/gems/run/terminal_log.run @@ -30,7 +30,6 @@ append config { - diff --git a/repos/gems/run/terminal_mux.run b/repos/gems/run/terminal_mux.run index 0709ddb2b8..5d07794c47 100644 --- a/repos/gems/run/terminal_mux.run +++ b/repos/gems/run/terminal_mux.run @@ -24,7 +24,6 @@ append config { - diff --git a/repos/gems/run/wm.run b/repos/gems/run/wm.run index 738cb48e29..96718f6a80 100644 --- a/repos/gems/run/wm.run +++ b/repos/gems/run/wm.run @@ -19,7 +19,6 @@ install_config { - diff --git a/repos/hello_tutorial/doc/hello_tutorial.txt b/repos/hello_tutorial/doc/hello_tutorial.txt index 926421a307..4023ac8014 100644 --- a/repos/hello_tutorial/doc/hello_tutorial.txt +++ b/repos/hello_tutorial/doc/hello_tutorial.txt @@ -253,7 +253,6 @@ entry to init's 'config' file, which is located at 'build/bin/config'. ! ! ! -! ! ! ! diff --git a/repos/hello_tutorial/run/hello.run b/repos/hello_tutorial/run/hello.run index 744321e63c..a9e5081d7c 100644 --- a/repos/hello_tutorial/run/hello.run +++ b/repos/hello_tutorial/run/hello.run @@ -17,7 +17,6 @@ install_config { - diff --git a/repos/libports/run/acpica.run b/repos/libports/run/acpica.run index d9b6fddea0..b54837d27e 100644 --- a/repos/libports/run/acpica.run +++ b/repos/libports/run/acpica.run @@ -52,7 +52,6 @@ set config { - diff --git a/repos/libports/run/avplay.run b/repos/libports/run/avplay.run index 2782277976..e96fbbe69d 100644 --- a/repos/libports/run/avplay.run +++ b/repos/libports/run/avplay.run @@ -34,7 +34,6 @@ set config { - diff --git a/repos/libports/run/eglgears.run b/repos/libports/run/eglgears.run index 9bffdee7b1..2e9f429757 100644 --- a/repos/libports/run/eglgears.run +++ b/repos/libports/run/eglgears.run @@ -19,7 +19,6 @@ set config { - @@ -84,7 +83,6 @@ append config { - diff --git a/repos/libports/run/expat.run b/repos/libports/run/expat.run index 545c64061f..45e4710dbe 100644 --- a/repos/libports/run/expat.run +++ b/repos/libports/run/expat.run @@ -20,7 +20,6 @@ install_config { - diff --git a/repos/libports/run/ldso.run b/repos/libports/run/ldso.run index a1b0594964..39703530a1 100644 --- a/repos/libports/run/ldso.run +++ b/repos/libports/run/ldso.run @@ -6,7 +6,6 @@ set config { - diff --git a/repos/libports/run/libc.run b/repos/libports/run/libc.run index f41ce7a51e..094d50002a 100644 --- a/repos/libports/run/libc.run +++ b/repos/libports/run/libc.run @@ -6,11 +6,9 @@ install_config { - - diff --git a/repos/libports/run/libc_block.run b/repos/libports/run/libc_block.run index 71d4983f9c..0e27528854 100644 --- a/repos/libports/run/libc_block.run +++ b/repos/libports/run/libc_block.run @@ -40,7 +40,6 @@ set config { - diff --git a/repos/libports/run/libc_component.run b/repos/libports/run/libc_component.run index 02911a9d6a..7395ac8c64 100644 --- a/repos/libports/run/libc_component.run +++ b/repos/libports/run/libc_component.run @@ -19,7 +19,6 @@ append config { - diff --git a/repos/libports/run/libc_counter.run b/repos/libports/run/libc_counter.run index c567d6aa1f..7eab33da7d 100644 --- a/repos/libports/run/libc_counter.run +++ b/repos/libports/run/libc_counter.run @@ -18,7 +18,6 @@ append config { - diff --git a/repos/libports/run/libc_ffat_fs.run b/repos/libports/run/libc_ffat_fs.run index 6bab468a58..77ea9d071c 100644 --- a/repos/libports/run/libc_ffat_fs.run +++ b/repos/libports/run/libc_ffat_fs.run @@ -41,7 +41,6 @@ set config { - diff --git a/repos/libports/run/libc_filesystem_test.inc b/repos/libports/run/libc_filesystem_test.inc index 6174f5cb57..d4cdf7d1a8 100644 --- a/repos/libports/run/libc_filesystem_test.inc +++ b/repos/libports/run/libc_filesystem_test.inc @@ -58,7 +58,6 @@ set config { - diff --git a/repos/libports/run/libc_getenv.run b/repos/libports/run/libc_getenv.run index 2fa90ac584..312d783a98 100644 --- a/repos/libports/run/libc_getenv.run +++ b/repos/libports/run/libc_getenv.run @@ -8,7 +8,6 @@ install_config { - diff --git a/repos/libports/run/libc_pipe.run b/repos/libports/run/libc_pipe.run index 2bfe857470..5c3741c614 100644 --- a/repos/libports/run/libc_pipe.run +++ b/repos/libports/run/libc_pipe.run @@ -6,11 +6,9 @@ install_config { - - diff --git a/repos/libports/run/libc_select.run b/repos/libports/run/libc_select.run index 689586e1da..ea8251fec7 100644 --- a/repos/libports/run/libc_select.run +++ b/repos/libports/run/libc_select.run @@ -11,11 +11,9 @@ set config { - - diff --git a/repos/libports/run/libc_vfs.run b/repos/libports/run/libc_vfs.run index efe72e4dd5..9d2baca9cc 100644 --- a/repos/libports/run/libc_vfs.run +++ b/repos/libports/run/libc_vfs.run @@ -20,7 +20,6 @@ set config { - diff --git a/repos/libports/run/libc_vfs_block.run b/repos/libports/run/libc_vfs_block.run index 12e7d8ffad..ba6a3988ea 100644 --- a/repos/libports/run/libc_vfs_block.run +++ b/repos/libports/run/libc_vfs_block.run @@ -20,7 +20,6 @@ set config { - diff --git a/repos/libports/run/libc_vfs_component.run b/repos/libports/run/libc_vfs_component.run index 8271e90c37..522aab6046 100644 --- a/repos/libports/run/libc_vfs_component.run +++ b/repos/libports/run/libc_vfs_component.run @@ -19,7 +19,6 @@ append config { - diff --git a/repos/libports/run/libc_vfs_counter.run b/repos/libports/run/libc_vfs_counter.run index bdea12d813..f81dbad1ac 100644 --- a/repos/libports/run/libc_vfs_counter.run +++ b/repos/libports/run/libc_vfs_counter.run @@ -19,7 +19,6 @@ append config { - diff --git a/repos/libports/run/libc_vfs_fs.run b/repos/libports/run/libc_vfs_fs.run index 178f866c87..64bf384a59 100644 --- a/repos/libports/run/libc_vfs_fs.run +++ b/repos/libports/run/libc_vfs_fs.run @@ -20,7 +20,6 @@ set config { - diff --git a/repos/libports/run/libc_vfs_ram.run b/repos/libports/run/libc_vfs_ram.run index 2ba67674c0..4610fa6c81 100644 --- a/repos/libports/run/libc_vfs_ram.run +++ b/repos/libports/run/libc_vfs_ram.run @@ -23,7 +23,6 @@ set config { - diff --git a/repos/libports/run/libc_vfs_select.run b/repos/libports/run/libc_vfs_select.run index 5612807886..867da9aace 100644 --- a/repos/libports/run/libc_vfs_select.run +++ b/repos/libports/run/libc_vfs_select.run @@ -11,11 +11,9 @@ set config { - - diff --git a/repos/libports/run/libc_with_libc.run b/repos/libports/run/libc_with_libc.run index e59281170d..eb3c212042 100644 --- a/repos/libports/run/libc_with_libc.run +++ b/repos/libports/run/libc_with_libc.run @@ -13,11 +13,9 @@ set config { - - diff --git a/repos/libports/run/lwip.run b/repos/libports/run/lwip.run index 7cd685b7b5..763fddbb51 100644 --- a/repos/libports/run/lwip.run +++ b/repos/libports/run/lwip.run @@ -60,7 +60,6 @@ set config { - diff --git a/repos/libports/run/lwip_lx.run b/repos/libports/run/lwip_lx.run index debb9450d3..b679bcf7b1 100644 --- a/repos/libports/run/lwip_lx.run +++ b/repos/libports/run/lwip_lx.run @@ -20,7 +20,6 @@ set config { - diff --git a/repos/libports/run/moon.run b/repos/libports/run/moon.run index 8760fc2241..f269e18b69 100644 --- a/repos/libports/run/moon.run +++ b/repos/libports/run/moon.run @@ -11,7 +11,6 @@ install_config { - diff --git a/repos/libports/run/mupdf.run b/repos/libports/run/mupdf.run index ff5d4d81da..1c0ddcaa1c 100644 --- a/repos/libports/run/mupdf.run +++ b/repos/libports/run/mupdf.run @@ -16,7 +16,6 @@ set config { - diff --git a/repos/libports/run/netty.inc b/repos/libports/run/netty.inc index a4fcf62f84..b08214a213 100644 --- a/repos/libports/run/netty.inc +++ b/repos/libports/run/netty.inc @@ -13,11 +13,9 @@ append config { - - diff --git a/repos/libports/run/nic_bridge.run b/repos/libports/run/nic_bridge.run index a1cdb26031..cc66bb38f0 100644 --- a/repos/libports/run/nic_bridge.run +++ b/repos/libports/run/nic_bridge.run @@ -26,7 +26,6 @@ append config { - diff --git a/repos/libports/run/nic_bridge_lighttpd.run b/repos/libports/run/nic_bridge_lighttpd.run index fd9f31429f..2d055069eb 100644 --- a/repos/libports/run/nic_bridge_lighttpd.run +++ b/repos/libports/run/nic_bridge_lighttpd.run @@ -26,7 +26,6 @@ append config { - diff --git a/repos/libports/run/nic_dump.run b/repos/libports/run/nic_dump.run index 256936d537..23b9fdfba6 100644 --- a/repos/libports/run/nic_dump.run +++ b/repos/libports/run/nic_dump.run @@ -141,7 +141,6 @@ append config { - diff --git a/repos/libports/run/nic_router.run b/repos/libports/run/nic_router.run index 75b1caff86..7bad050cb9 100644 --- a/repos/libports/run/nic_router.run +++ b/repos/libports/run/nic_router.run @@ -169,7 +169,6 @@ append config { - diff --git a/repos/libports/run/nim.run b/repos/libports/run/nim.run index 73d6b9e5f7..172699a9f5 100644 --- a/repos/libports/run/nim.run +++ b/repos/libports/run/nim.run @@ -16,7 +16,6 @@ set config { - diff --git a/repos/libports/run/nim_netty.run b/repos/libports/run/nim_netty.run index f2a216b158..ede949e9df 100644 --- a/repos/libports/run/nim_netty.run +++ b/repos/libports/run/nim_netty.run @@ -18,11 +18,9 @@ set config { - - diff --git a/repos/libports/run/pthread.run b/repos/libports/run/pthread.run index 7d1121148b..cfc0541437 100644 --- a/repos/libports/run/pthread.run +++ b/repos/libports/run/pthread.run @@ -6,11 +6,9 @@ install_config { - - diff --git a/repos/libports/run/python.run b/repos/libports/run/python.run index a195cfeb68..8809bd49e7 100644 --- a/repos/libports/run/python.run +++ b/repos/libports/run/python.run @@ -26,7 +26,6 @@ set config { - diff --git a/repos/libports/run/qt5_drivers.inc b/repos/libports/run/qt5_drivers.inc index a6ac761b16..dc4880a3f2 100644 --- a/repos/libports/run/qt5_drivers.inc +++ b/repos/libports/run/qt5_drivers.inc @@ -127,7 +127,6 @@ proc drivers_parent_provides { feature_arg } { append parent_provides { - @@ -228,7 +227,6 @@ proc drivers_start_nodes { feature_arg } { - diff --git a/repos/libports/run/rust.run b/repos/libports/run/rust.run index 37ee35dc35..8c47b23ba7 100644 --- a/repos/libports/run/rust.run +++ b/repos/libports/run/rust.run @@ -8,7 +8,6 @@ install_config { - diff --git a/repos/libports/run/sdl.run b/repos/libports/run/sdl.run index 593dc84dd7..7597f64f88 100644 --- a/repos/libports/run/sdl.run +++ b/repos/libports/run/sdl.run @@ -24,7 +24,6 @@ append config { - diff --git a/repos/libports/run/smartcard.run b/repos/libports/run/smartcard.run index 1a382cafb4..a0875f0b5c 100644 --- a/repos/libports/run/smartcard.run +++ b/repos/libports/run/smartcard.run @@ -47,7 +47,6 @@ append config { - diff --git a/repos/libports/run/stdcxx.run b/repos/libports/run/stdcxx.run index 3ccab09898..771190da32 100644 --- a/repos/libports/run/stdcxx.run +++ b/repos/libports/run/stdcxx.run @@ -10,7 +10,6 @@ install_config { - diff --git a/repos/libports/run/test-ping_client.run b/repos/libports/run/test-ping_client.run index 518c87e08b..72b3771b1b 100644 --- a/repos/libports/run/test-ping_client.run +++ b/repos/libports/run/test-ping_client.run @@ -41,7 +41,6 @@ set config { - diff --git a/repos/libports/run/test-ping_server.run b/repos/libports/run/test-ping_server.run index e1780b0489..2932111660 100644 --- a/repos/libports/run/test-ping_server.run +++ b/repos/libports/run/test-ping_server.run @@ -41,7 +41,6 @@ set config { - diff --git a/repos/libports/src/test/qt5/qpluginwidget/config.plugin b/repos/libports/src/test/qt5/qpluginwidget/config.plugin index 7e7d25614c..1a7d487c5d 100644 --- a/repos/libports/src/test/qt5/qpluginwidget/config.plugin +++ b/repos/libports/src/test/qt5/qpluginwidget/config.plugin @@ -3,7 +3,6 @@ - diff --git a/repos/os/doc/init.txt b/repos/os/doc/init.txt index d6454503ed..8ea4245a9b 100644 --- a/repos/os/doc/init.txt +++ b/repos/os/doc/init.txt @@ -83,7 +83,6 @@ destination, the wildcard '' becomes handy. For example, instead of specifying ! ! -! ! ! ! @@ -181,7 +180,6 @@ child is routed to the timer service started at the first-level init instance. ! ! ! -! ! ! ! @@ -209,7 +207,6 @@ child is routed to the timer service started at the first-level init instance. ! ! ! -! ! ! ! diff --git a/repos/os/recipes/raw/drivers_interactive-linux/drivers.config b/repos/os/recipes/raw/drivers_interactive-linux/drivers.config index 1a454ad055..427505c352 100644 --- a/repos/os/recipes/raw/drivers_interactive-linux/drivers.config +++ b/repos/os/recipes/raw/drivers_interactive-linux/drivers.config @@ -1,7 +1,6 @@ - diff --git a/repos/os/recipes/raw/drivers_interactive-pbxa9/drivers.config b/repos/os/recipes/raw/drivers_interactive-pbxa9/drivers.config index 822372f9f3..5108537b54 100644 --- a/repos/os/recipes/raw/drivers_interactive-pbxa9/drivers.config +++ b/repos/os/recipes/raw/drivers_interactive-pbxa9/drivers.config @@ -4,7 +4,6 @@ - diff --git a/repos/os/recipes/raw/drivers_interactive-pc/drivers.config b/repos/os/recipes/raw/drivers_interactive-pc/drivers.config index 11f6d5b33d..ad3c69fba8 100644 --- a/repos/os/recipes/raw/drivers_interactive-pc/drivers.config +++ b/repos/os/recipes/raw/drivers_interactive-pc/drivers.config @@ -5,7 +5,6 @@ - @@ -29,7 +28,6 @@ - @@ -48,7 +46,6 @@ - @@ -66,7 +63,6 @@ - @@ -88,7 +84,6 @@ - @@ -102,7 +97,6 @@ - @@ -116,7 +110,6 @@ - @@ -133,7 +126,6 @@ - diff --git a/repos/os/run/ahci_bench.run b/repos/os/run/ahci_bench.run index cbefa935a7..04c4090262 100644 --- a/repos/os/run/ahci_bench.run +++ b/repos/os/run/ahci_bench.run @@ -32,7 +32,6 @@ set config { - diff --git a/repos/os/run/ahci_blk.run b/repos/os/run/ahci_blk.run index 3463aeb433..33b5e51ca6 100644 --- a/repos/os/run/ahci_blk.run +++ b/repos/os/run/ahci_blk.run @@ -33,7 +33,6 @@ set config { - diff --git a/repos/os/run/audio_out_click.run b/repos/os/run/audio_out_click.run index 91a9e5b3f8..980252a132 100644 --- a/repos/os/run/audio_out_click.run +++ b/repos/os/run/audio_out_click.run @@ -29,7 +29,6 @@ append config { - diff --git a/repos/os/run/blk.run b/repos/os/run/blk.run index e665b2297d..d8100d2b27 100644 --- a/repos/os/run/blk.run +++ b/repos/os/run/blk.run @@ -17,7 +17,6 @@ install_config { - diff --git a/repos/os/run/blk_cache.run b/repos/os/run/blk_cache.run index fc056eb7ba..f61b8f41af 100644 --- a/repos/os/run/blk_cache.run +++ b/repos/os/run/blk_cache.run @@ -20,7 +20,6 @@ install_config { - diff --git a/repos/os/run/bomb.run b/repos/os/run/bomb.run index 57fa012a57..f748d80aef 100644 --- a/repos/os/run/bomb.run +++ b/repos/os/run/bomb.run @@ -24,7 +24,6 @@ set config { - diff --git a/repos/os/run/clipboard.run b/repos/os/run/clipboard.run index c97d4cedd9..51cbd4670d 100644 --- a/repos/os/run/clipboard.run +++ b/repos/os/run/clipboard.run @@ -19,7 +19,6 @@ append config { - diff --git a/repos/os/run/cpu_quota.run b/repos/os/run/cpu_quota.run index 687e033c3c..1804b00ad3 100644 --- a/repos/os/run/cpu_quota.run +++ b/repos/os/run/cpu_quota.run @@ -21,7 +21,6 @@ install_config { - @@ -48,7 +47,6 @@ install_config { - @@ -80,7 +78,6 @@ install_config { - diff --git a/repos/os/run/cpufreq.run b/repos/os/run/cpufreq.run index 3eafa67d9b..0ada5ee0fd 100644 --- a/repos/os/run/cpufreq.run +++ b/repos/os/run/cpufreq.run @@ -27,7 +27,6 @@ set config { - diff --git a/repos/os/run/demo.run b/repos/os/run/demo.run index d9bff1eed2..61ea85a81d 100644 --- a/repos/os/run/demo.run +++ b/repos/os/run/demo.run @@ -40,7 +40,6 @@ append config { - diff --git a/repos/os/run/dynamic_config.run b/repos/os/run/dynamic_config.run index 007d864444..1c2c7b216f 100644 --- a/repos/os/run/dynamic_config.run +++ b/repos/os/run/dynamic_config.run @@ -6,7 +6,6 @@ install_config { - diff --git a/repos/os/run/dynamic_config_loader.run b/repos/os/run/dynamic_config_loader.run index d22b5fe3d0..1f78749e62 100644 --- a/repos/os/run/dynamic_config_loader.run +++ b/repos/os/run/dynamic_config_loader.run @@ -6,7 +6,6 @@ install_config { - diff --git a/repos/os/run/dynamic_config_slave.run b/repos/os/run/dynamic_config_slave.run index 88e5bada2d..8215cf4ff4 100644 --- a/repos/os/run/dynamic_config_slave.run +++ b/repos/os/run/dynamic_config_slave.run @@ -6,7 +6,6 @@ install_config { - diff --git a/repos/os/run/fault_detection.run b/repos/os/run/fault_detection.run index 22f26937de..5cc436d502 100644 --- a/repos/os/run/fault_detection.run +++ b/repos/os/run/fault_detection.run @@ -38,7 +38,6 @@ install_config { - diff --git a/repos/os/run/fb_bench.run b/repos/os/run/fb_bench.run index 342c958d0a..10dec62dd9 100644 --- a/repos/os/run/fb_bench.run +++ b/repos/os/run/fb_bench.run @@ -35,7 +35,6 @@ append config { - diff --git a/repos/os/run/framebuffer.run b/repos/os/run/framebuffer.run index 18ea1f63eb..bc794c85f4 100644 --- a/repos/os/run/framebuffer.run +++ b/repos/os/run/framebuffer.run @@ -22,7 +22,6 @@ append config { - diff --git a/repos/os/run/fs_log.run b/repos/os/run/fs_log.run index 61bf08ad43..dd2c9d0a97 100644 --- a/repos/os/run/fs_log.run +++ b/repos/os/run/fs_log.run @@ -17,7 +17,6 @@ set config { - diff --git a/repos/os/run/fs_rom_update.run b/repos/os/run/fs_rom_update.run index 08c0703150..82ddbb947b 100644 --- a/repos/os/run/fs_rom_update.run +++ b/repos/os/run/fs_rom_update.run @@ -31,7 +31,6 @@ append config { - diff --git a/repos/os/run/gpio_drv.run b/repos/os/run/gpio_drv.run index 5ea3662505..755107a949 100644 --- a/repos/os/run/gpio_drv.run +++ b/repos/os/run/gpio_drv.run @@ -28,7 +28,6 @@ append config { - diff --git a/repos/os/run/gpio_led.run b/repos/os/run/gpio_led.run index e284ea9fe8..c51992baaa 100644 --- a/repos/os/run/gpio_led.run +++ b/repos/os/run/gpio_led.run @@ -29,7 +29,6 @@ append config { - diff --git a/repos/os/run/gpio_signal.run b/repos/os/run/gpio_signal.run index 922f57b6a6..8038ea40eb 100644 --- a/repos/os/run/gpio_signal.run +++ b/repos/os/run/gpio_signal.run @@ -29,7 +29,6 @@ append config { - diff --git a/repos/os/run/init.run b/repos/os/run/init.run index 1659b506c5..1c52d46b03 100644 --- a/repos/os/run/init.run +++ b/repos/os/run/init.run @@ -16,7 +16,6 @@ append config { - @@ -60,7 +59,6 @@ append config { - @@ -105,7 +103,6 @@ append config { - @@ -168,7 +165,6 @@ append config { - @@ -222,7 +218,6 @@ append config { - @@ -266,8 +261,9 @@ append config { - - + + + @@ -302,8 +298,9 @@ append config { - - + + + @@ -335,8 +332,9 @@ append config { - - + + + @@ -368,8 +366,9 @@ append config { - - + + + @@ -383,8 +382,9 @@ append config { - - + + + @@ -405,8 +405,9 @@ append config { - - + + + @@ -429,8 +430,9 @@ append config { - - + + + @@ -454,8 +456,9 @@ append config { - - + + + @@ -479,8 +482,9 @@ append config { - - + + + @@ -504,8 +508,9 @@ append config { - - + + + @@ -539,8 +544,9 @@ append config { - - + + + @@ -566,8 +572,9 @@ append config { - - + + + @@ -593,8 +600,9 @@ append config { - - + + + @@ -621,8 +629,9 @@ append config { - - + + + @@ -653,8 +662,9 @@ append config { - - + + + @@ -680,8 +690,9 @@ append config { - - + + + @@ -707,8 +718,9 @@ append config { - - + + + @@ -737,8 +749,9 @@ append config { - - + + + @@ -765,8 +778,9 @@ append config { - - + + + @@ -794,8 +808,9 @@ append config { - - + + + @@ -824,8 +839,9 @@ append config { - - + + + @@ -835,8 +851,9 @@ append config { - - + + + @@ -892,8 +909,9 @@ append config { - - + + + @@ -903,8 +921,9 @@ append config { - - + + + diff --git a/repos/os/run/init_smp.run b/repos/os/run/init_smp.run index 0aa9823f5c..177a45f8a8 100644 --- a/repos/os/run/init_smp.run +++ b/repos/os/run/init_smp.run @@ -35,7 +35,6 @@ append config " append config { - @@ -62,7 +61,6 @@ for { set i 0} { $i < ${cpus} } { incr i} { - diff --git a/repos/os/run/input.run b/repos/os/run/input.run index 848ec41d68..168602dfa5 100644 --- a/repos/os/run/input.run +++ b/repos/os/run/input.run @@ -28,7 +28,6 @@ append config { - @@ -45,7 +44,6 @@ append config { - @@ -65,7 +63,6 @@ append_if [have_spec ps2] config { - @@ -81,7 +78,6 @@ append_if [have_spec sdl] config { - @@ -95,7 +91,6 @@ append config { - diff --git a/repos/os/run/input_filter.run b/repos/os/run/input_filter.run index 2b0a1af921..cc8e042d97 100644 --- a/repos/os/run/input_filter.run +++ b/repos/os/run/input_filter.run @@ -28,7 +28,6 @@ append config { - diff --git a/repos/os/run/kdb_uart_drv.run b/repos/os/run/kdb_uart_drv.run index cda3243b60..b9c2a184ce 100644 --- a/repos/os/run/kdb_uart_drv.run +++ b/repos/os/run/kdb_uart_drv.run @@ -28,7 +28,6 @@ set config { - diff --git a/repos/os/run/loader.run b/repos/os/run/loader.run index d944ec3691..ad3c97b6e1 100644 --- a/repos/os/run/loader.run +++ b/repos/os/run/loader.run @@ -25,7 +25,6 @@ append config { - diff --git a/repos/os/run/mixer.run b/repos/os/run/mixer.run index 3178b5eb3a..6dc34d4fef 100644 --- a/repos/os/run/mixer.run +++ b/repos/os/run/mixer.run @@ -28,7 +28,6 @@ set config { - diff --git a/repos/os/run/nic_loopback.run b/repos/os/run/nic_loopback.run index 6cadc4edbc..01ec35db89 100644 --- a/repos/os/run/nic_loopback.run +++ b/repos/os/run/nic_loopback.run @@ -20,7 +20,6 @@ append config { - diff --git a/repos/os/run/panda_uart4_echo.run b/repos/os/run/panda_uart4_echo.run index c81fe62386..82b9707943 100644 --- a/repos/os/run/panda_uart4_echo.run +++ b/repos/os/run/panda_uart4_echo.run @@ -23,7 +23,6 @@ set config { - diff --git a/repos/os/run/part_blk.inc b/repos/os/run/part_blk.inc index 5fe6ba1001..d96fb392e4 100644 --- a/repos/os/run/part_blk.inc +++ b/repos/os/run/part_blk.inc @@ -52,7 +52,6 @@ append config { - diff --git a/repos/os/run/pci.run b/repos/os/run/pci.run index 954bdaaecb..266a2730e9 100644 --- a/repos/os/run/pci.run +++ b/repos/os/run/pci.run @@ -25,7 +25,6 @@ append config { - diff --git a/repos/os/run/ram_fs_chunk.run b/repos/os/run/ram_fs_chunk.run index 95a6c7308a..f535e83bdc 100644 --- a/repos/os/run/ram_fs_chunk.run +++ b/repos/os/run/ram_fs_chunk.run @@ -13,7 +13,6 @@ install_config { - diff --git a/repos/os/run/report_rom.run b/repos/os/run/report_rom.run index 61426cdc3d..f80607bdba 100644 --- a/repos/os/run/report_rom.run +++ b/repos/os/run/report_rom.run @@ -6,7 +6,6 @@ install_config { - diff --git a/repos/os/run/resource_request.run b/repos/os/run/resource_request.run index fe8fa31eed..ace341edb1 100644 --- a/repos/os/run/resource_request.run +++ b/repos/os/run/resource_request.run @@ -6,7 +6,6 @@ install_config { - diff --git a/repos/os/run/resource_yield.run b/repos/os/run/resource_yield.run index d9affc32aa..1e78569a50 100644 --- a/repos/os/run/resource_yield.run +++ b/repos/os/run/resource_yield.run @@ -6,7 +6,6 @@ install_config { - diff --git a/repos/os/run/rom_blk.run b/repos/os/run/rom_blk.run index 252ecacb8b..d9b4a448a3 100644 --- a/repos/os/run/rom_blk.run +++ b/repos/os/run/rom_blk.run @@ -6,7 +6,6 @@ install_config { - diff --git a/repos/os/run/rom_filter.run b/repos/os/run/rom_filter.run index 0cb241f44d..c770c7a28f 100644 --- a/repos/os/run/rom_filter.run +++ b/repos/os/run/rom_filter.run @@ -19,7 +19,6 @@ append config { - diff --git a/repos/os/run/rom_to_file.run b/repos/os/run/rom_to_file.run index 68b47780c1..e41d26059b 100644 --- a/repos/os/run/rom_to_file.run +++ b/repos/os/run/rom_to_file.run @@ -22,7 +22,6 @@ install_config { - diff --git a/repos/os/run/rtc.run b/repos/os/run/rtc.run index 02aacf50f8..6ecd143322 100644 --- a/repos/os/run/rtc.run +++ b/repos/os/run/rtc.run @@ -8,7 +8,6 @@ install_config { - diff --git a/repos/os/run/sd_card.run b/repos/os/run/sd_card.run index fb8d6073b6..cff2726373 100644 --- a/repos/os/run/sd_card.run +++ b/repos/os/run/sd_card.run @@ -24,7 +24,6 @@ set config { - diff --git a/repos/os/run/sd_card_bench.run b/repos/os/run/sd_card_bench.run index bb15c74f3e..1a468ba61f 100644 --- a/repos/os/run/sd_card_bench.run +++ b/repos/os/run/sd_card_bench.run @@ -39,7 +39,6 @@ append config { - diff --git a/repos/os/run/signal.run b/repos/os/run/signal.run index a25b8fa26d..d12f0134ab 100644 --- a/repos/os/run/signal.run +++ b/repos/os/run/signal.run @@ -6,7 +6,6 @@ install_config { - diff --git a/repos/os/run/tar_rom.run b/repos/os/run/tar_rom.run index a7755de7cb..7959cc5e50 100644 --- a/repos/os/run/tar_rom.run +++ b/repos/os/run/tar_rom.run @@ -26,7 +26,6 @@ install_config { - @@ -57,7 +56,6 @@ install_config { - diff --git a/repos/os/run/terminal_crosslink.run b/repos/os/run/terminal_crosslink.run index 0dcac29e2a..ff2e232b1a 100644 --- a/repos/os/run/terminal_crosslink.run +++ b/repos/os/run/terminal_crosslink.run @@ -23,7 +23,6 @@ append config { - diff --git a/repos/os/run/thread_join.run b/repos/os/run/thread_join.run index c00d1c04a9..cb8a492be4 100644 --- a/repos/os/run/thread_join.run +++ b/repos/os/run/thread_join.run @@ -6,7 +6,6 @@ install_config { - diff --git a/repos/os/run/timed_semaphore.run b/repos/os/run/timed_semaphore.run index 61bd9246c9..4e4729b74f 100644 --- a/repos/os/run/timed_semaphore.run +++ b/repos/os/run/timed_semaphore.run @@ -18,7 +18,6 @@ install_config { - diff --git a/repos/os/run/timeout.run b/repos/os/run/timeout.run index 7b41a581aa..9cdde2ee81 100644 --- a/repos/os/run/timeout.run +++ b/repos/os/run/timeout.run @@ -35,7 +35,6 @@ install_config { - diff --git a/repos/os/run/timer.run b/repos/os/run/timer.run index aa0f2f1887..d7018e5c4b 100644 --- a/repos/os/run/timer.run +++ b/repos/os/run/timer.run @@ -15,7 +15,6 @@ install_config { - diff --git a/repos/os/run/timer_accuracy.run b/repos/os/run/timer_accuracy.run index 440e28a77f..f1b0c1de2b 100644 --- a/repos/os/run/timer_accuracy.run +++ b/repos/os/run/timer_accuracy.run @@ -9,7 +9,6 @@ install_config { - diff --git a/repos/os/run/trace.run b/repos/os/run/trace.run index 60b95c9204..e4a1c98c35 100644 --- a/repos/os/run/trace.run +++ b/repos/os/run/trace.run @@ -22,7 +22,6 @@ append config { - diff --git a/repos/os/run/tz_vmm.run b/repos/os/run/tz_vmm.run index f4ed9638be..9d9154dec7 100644 --- a/repos/os/run/tz_vmm.run +++ b/repos/os/run/tz_vmm.run @@ -122,7 +122,6 @@ set config { - diff --git a/repos/os/run/uart.run b/repos/os/run/uart.run index cc08fb6832..35484e3dda 100644 --- a/repos/os/run/uart.run +++ b/repos/os/run/uart.run @@ -21,7 +21,6 @@ set config { - diff --git a/repos/os/run/usb_block.run b/repos/os/run/usb_block.run index 373fceb51f..da3929e3e9 100644 --- a/repos/os/run/usb_block.run +++ b/repos/os/run/usb_block.run @@ -35,7 +35,6 @@ set config { - diff --git a/repos/os/run/vfs_stress_fs.run b/repos/os/run/vfs_stress_fs.run index 723ecfa56d..35015cca5f 100644 --- a/repos/os/run/vfs_stress_fs.run +++ b/repos/os/run/vfs_stress_fs.run @@ -17,7 +17,6 @@ install_config { - diff --git a/repos/os/run/vfs_stress_ram.run b/repos/os/run/vfs_stress_ram.run index 838fdf59fc..109d0d35ed 100644 --- a/repos/os/run/vfs_stress_ram.run +++ b/repos/os/run/vfs_stress_ram.run @@ -17,7 +17,6 @@ install_config { - diff --git a/repos/os/run/vmm.run b/repos/os/run/vmm.run index 3154f18499..87923857b9 100644 --- a/repos/os/run/vmm.run +++ b/repos/os/run/vmm.run @@ -21,7 +21,6 @@ install_config { - diff --git a/repos/os/run/weak_ptr.run b/repos/os/run/weak_ptr.run index 5034bed90a..69078652c1 100644 --- a/repos/os/run/weak_ptr.run +++ b/repos/os/run/weak_ptr.run @@ -8,7 +8,6 @@ install_config { - diff --git a/repos/os/run/xml_generator.run b/repos/os/run/xml_generator.run index c867d6a2d2..67f1fff21a 100644 --- a/repos/os/run/xml_generator.run +++ b/repos/os/run/xml_generator.run @@ -8,7 +8,6 @@ install_config { - diff --git a/repos/os/run/xml_node.run b/repos/os/run/xml_node.run index 8096f5a8d4..39ff5ec0dc 100644 --- a/repos/os/run/xml_node.run +++ b/repos/os/run/xml_node.run @@ -7,7 +7,6 @@ install_config { - diff --git a/repos/os/src/init/config.explicit_routing b/repos/os/src/init/config.explicit_routing index 5f0264dc3e..9eb65154f8 100644 --- a/repos/os/src/init/config.explicit_routing +++ b/repos/os/src/init/config.explicit_routing @@ -1,11 +1,9 @@ - - @@ -16,7 +14,6 @@ - @@ -29,7 +26,6 @@ - @@ -38,7 +34,6 @@ - @@ -53,7 +48,6 @@ - @@ -64,7 +58,6 @@ - @@ -75,12 +68,10 @@ - - diff --git a/repos/os/src/init/config.priority b/repos/os/src/init/config.priority index 11247defee..fe4bc9e1ed 100644 --- a/repos/os/src/init/config.priority +++ b/repos/os/src/init/config.priority @@ -26,7 +26,6 @@ nodes: - @@ -48,7 +47,6 @@ nodes: - diff --git a/repos/os/src/init/config.wildcard b/repos/os/src/init/config.wildcard index f2e03d22ed..a25eb11af9 100644 --- a/repos/os/src/init/config.wildcard +++ b/repos/os/src/init/config.wildcard @@ -1,11 +1,9 @@ - - diff --git a/repos/os/src/test/resource_request/main.cc b/repos/os/src/test/resource_request/main.cc index 9715bbc380..4f0a444fcf 100644 --- a/repos/os/src/test/resource_request/main.cc +++ b/repos/os/src/test/resource_request/main.cc @@ -63,7 +63,6 @@ struct Test::Monitor _gen_service_xml(xml, "ROM"); _gen_service_xml(xml, "CPU"); _gen_service_xml(xml, "PD"); - _gen_service_xml(xml, "RAM"); _gen_service_xml(xml, "LOG"); _gen_service_xml(xml, "Timer"); }); diff --git a/repos/ports/run/debug_nitpicker.run b/repos/ports/run/debug_nitpicker.run index 360f5c472f..bd99e130cb 100644 --- a/repos/ports/run/debug_nitpicker.run +++ b/repos/ports/run/debug_nitpicker.run @@ -42,7 +42,6 @@ set config { - diff --git a/repos/ports/run/dosbox.run b/repos/ports/run/dosbox.run index c9c5ea0048..6816ada6bb 100644 --- a/repos/ports/run/dosbox.run +++ b/repos/ports/run/dosbox.run @@ -34,7 +34,6 @@ append config { - diff --git a/repos/ports/run/gdb_monitor.run b/repos/ports/run/gdb_monitor.run index 7204af4370..af36498cb7 100644 --- a/repos/ports/run/gdb_monitor.run +++ b/repos/ports/run/gdb_monitor.run @@ -39,7 +39,6 @@ set config { - diff --git a/repos/ports/run/gdb_monitor_interactive.run b/repos/ports/run/gdb_monitor_interactive.run index b3a704edac..2c9495bde9 100644 --- a/repos/ports/run/gdb_monitor_interactive.run +++ b/repos/ports/run/gdb_monitor_interactive.run @@ -30,7 +30,6 @@ set config { - diff --git a/repos/ports/run/gdb_monitor_target_config.run b/repos/ports/run/gdb_monitor_target_config.run index 918dcf81f4..07d5c7235e 100644 --- a/repos/ports/run/gdb_monitor_target_config.run +++ b/repos/ports/run/gdb_monitor_target_config.run @@ -29,7 +29,6 @@ set config { - diff --git a/repos/ports/run/genode_org.run b/repos/ports/run/genode_org.run index 65d72bff41..ca167e5b21 100644 --- a/repos/ports/run/genode_org.run +++ b/repos/ports/run/genode_org.run @@ -46,7 +46,6 @@ append config { - diff --git a/repos/ports/run/libc_noux.run b/repos/ports/run/libc_noux.run index cca6d50d67..f5c7d9479b 100644 --- a/repos/ports/run/libc_noux.run +++ b/repos/ports/run/libc_noux.run @@ -21,7 +21,6 @@ append config { - diff --git a/repos/ports/run/lighttpd.run b/repos/ports/run/lighttpd.run index e87796a1f7..32708022ba 100644 --- a/repos/ports/run/lighttpd.run +++ b/repos/ports/run/lighttpd.run @@ -23,7 +23,6 @@ append config { - diff --git a/repos/ports/run/netperf.inc b/repos/ports/run/netperf.inc index 91e5d052fb..7c3bbaa466 100644 --- a/repos/ports/run/netperf.inc +++ b/repos/ports/run/netperf.inc @@ -105,7 +105,6 @@ set config { - diff --git a/repos/ports/run/noux.run b/repos/ports/run/noux.run index ca5abf35f2..c1d9373921 100644 --- a/repos/ports/run/noux.run +++ b/repos/ports/run/noux.run @@ -8,7 +8,6 @@ install_config { - diff --git a/repos/ports/run/noux_bash.run b/repos/ports/run/noux_bash.run index 38b9d7c939..48771ab185 100644 --- a/repos/ports/run/noux_bash.run +++ b/repos/ports/run/noux_bash.run @@ -43,7 +43,6 @@ append config { - diff --git a/repos/ports/run/noux_fork.run b/repos/ports/run/noux_fork.run index 79d5699b84..9051ae1170 100644 --- a/repos/ports/run/noux_fork.run +++ b/repos/ports/run/noux_fork.run @@ -10,7 +10,6 @@ install_config { - diff --git a/repos/ports/run/noux_gdb.run b/repos/ports/run/noux_gdb.run index b8b0f48208..040576b70d 100644 --- a/repos/ports/run/noux_gdb.run +++ b/repos/ports/run/noux_gdb.run @@ -75,7 +75,6 @@ append config { - diff --git a/repos/ports/run/noux_net_netcat.run b/repos/ports/run/noux_net_netcat.run index 08da8fab0b..4d1c1c1645 100644 --- a/repos/ports/run/noux_net_netcat.run +++ b/repos/ports/run/noux_net_netcat.run @@ -48,7 +48,6 @@ append config { - diff --git a/repos/ports/run/noux_shell_script.run b/repos/ports/run/noux_shell_script.run index f3cca3bcf6..6434cbb8b1 100644 --- a/repos/ports/run/noux_shell_script.run +++ b/repos/ports/run/noux_shell_script.run @@ -28,7 +28,6 @@ append config { - diff --git a/repos/ports/run/noux_signals.run b/repos/ports/run/noux_signals.run index 87b81fb7a5..96c59e0907 100644 --- a/repos/ports/run/noux_signals.run +++ b/repos/ports/run/noux_signals.run @@ -16,7 +16,6 @@ append config { - diff --git a/repos/ports/run/noux_terminal_fs.run b/repos/ports/run/noux_terminal_fs.run index 041ed5ad1a..ed7e593d00 100644 --- a/repos/ports/run/noux_terminal_fs.run +++ b/repos/ports/run/noux_terminal_fs.run @@ -38,7 +38,6 @@ append config { - diff --git a/repos/ports/run/noux_tool_chain.inc b/repos/ports/run/noux_tool_chain.inc index a2f522c7ef..8e09bdcae1 100644 --- a/repos/ports/run/noux_tool_chain.inc +++ b/repos/ports/run/noux_tool_chain.inc @@ -86,7 +86,6 @@ append config { - diff --git a/repos/ports/run/noux_trace_fs.run b/repos/ports/run/noux_trace_fs.run index 91de237b1f..daf558a711 100644 --- a/repos/ports/run/noux_trace_fs.run +++ b/repos/ports/run/noux_trace_fs.run @@ -64,7 +64,6 @@ append config { - diff --git a/repos/ports/run/noux_two_terminal_fs.run b/repos/ports/run/noux_two_terminal_fs.run index eb936837b5..019bb5cfdf 100644 --- a/repos/ports/run/noux_two_terminal_fs.run +++ b/repos/ports/run/noux_two_terminal_fs.run @@ -38,7 +38,6 @@ append config { - diff --git a/repos/ports/run/noux_uname.run b/repos/ports/run/noux_uname.run index a3b139b8ac..d8c130ebe3 100644 --- a/repos/ports/run/noux_uname.run +++ b/repos/ports/run/noux_uname.run @@ -8,7 +8,6 @@ install_config { - diff --git a/repos/ports/run/noux_vim.run b/repos/ports/run/noux_vim.run index e142cb9c49..c68a02ee98 100644 --- a/repos/ports/run/noux_vim.run +++ b/repos/ports/run/noux_vim.run @@ -24,7 +24,6 @@ append config { - diff --git a/repos/ports/run/seoul.inc b/repos/ports/run/seoul.inc index 533e28ec4c..408760bc8f 100644 --- a/repos/ports/run/seoul.inc +++ b/repos/ports/run/seoul.inc @@ -146,7 +146,6 @@ append config { - @@ -343,7 +342,6 @@ if {$use_fancy_stuff} { - diff --git a/repos/ports/run/vbox_auto_genode_usb_hid.run b/repos/ports/run/vbox_auto_genode_usb_hid.run index 17cc4db922..e42895f035 100644 --- a/repos/ports/run/vbox_auto_genode_usb_hid.run +++ b/repos/ports/run/vbox_auto_genode_usb_hid.run @@ -42,7 +42,6 @@ set config { - diff --git a/repos/ports/run/vbox_pointer.run b/repos/ports/run/vbox_pointer.run index f58a99d4e7..1412211b51 100644 --- a/repos/ports/run/vbox_pointer.run +++ b/repos/ports/run/vbox_pointer.run @@ -30,7 +30,6 @@ set config { - @@ -43,7 +42,6 @@ set config { - @@ -59,7 +57,6 @@ set config { - @@ -80,7 +77,6 @@ set config { - @@ -104,7 +100,6 @@ set config { - @@ -128,7 +123,6 @@ set config { - @@ -140,7 +134,6 @@ set config { - @@ -153,7 +146,6 @@ set config { - @@ -166,7 +158,6 @@ set config { - @@ -190,7 +181,6 @@ set config { - @@ -206,7 +196,6 @@ set config { - @@ -233,7 +222,6 @@ set config { - @@ -246,7 +234,6 @@ set config { - @@ -259,7 +246,6 @@ set config { - @@ -272,7 +258,6 @@ set config { - @@ -285,7 +270,6 @@ set config { - @@ -298,7 +282,6 @@ set config { - @@ -311,7 +294,6 @@ set config { - diff --git a/repos/ports/run/virtualbox.run b/repos/ports/run/virtualbox.run index 32f977dc27..13c033f586 100644 --- a/repos/ports/run/virtualbox.run +++ b/repos/ports/run/virtualbox.run @@ -51,7 +51,6 @@ set config { - diff --git a/repos/ports/run/virtualbox_auto.inc b/repos/ports/run/virtualbox_auto.inc index 095b878df6..813e224882 100644 --- a/repos/ports/run/virtualbox_auto.inc +++ b/repos/ports/run/virtualbox_auto.inc @@ -50,7 +50,6 @@ if {$use_vms > 1} { append config { - diff --git a/repos/ports/run/vmm_utils.run b/repos/ports/run/vmm_utils.run index 518a1a982f..f1c0d0936a 100644 --- a/repos/ports/run/vmm_utils.run +++ b/repos/ports/run/vmm_utils.run @@ -6,7 +6,6 @@ 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 378a631c17..cacfd798a4 100644 --- a/repos/ports/src/app/arora/demo/nitpicker_plugin/config.plugin +++ b/repos/ports/src/app/arora/demo/nitpicker_plugin/config.plugin @@ -1,7 +1,6 @@ -