Norman Feske 20f961cbd8 cli_monitor, launcher: handle exiting subsystems ...

Until now, the CLI monitor and the laucher allowed the user to explitly
kill subsystems but both used to ignore gracefully exiting subsystems.
It was the user's job to remove the remains of those subsystems. The
patch takes the burden of manually killing exited subsystems from the
user.

Fixes #1685

2015-09-30 15:48:12 +02:00

..

audio_in_session

os: add Audio_in session for recording audio

2015-08-21 10:59:46 +02:00

audio_out_session

os: add invalidate_all packets to Audio_out

2015-08-21 11:00:57 +02:00

blit

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +02:00

block

Revised API documentation

2015-04-09 16:04:46 +02:00

block_session

Revised API documentation

2015-04-09 16:04:46 +02:00

cli_monitor

cli_monitor, launcher: handle exiting subsystems

2015-09-30 15:48:12 +02:00

decorator

decorator: consider partially transparent windows

2015-07-07 19:48:06 +02:00

file_system

Remove Packet_ref from File_system::Packet_descriptor

2015-09-30 12:20:37 +02:00

file_system_session

Remove Packet_ref from File_system::Packet_descriptor

2015-09-30 12:20:37 +02:00

framebuffer_session

Revised API documentation

2015-04-09 16:04:46 +02:00

gpio

base: extend irq session to support MSIs

2015-05-20 17:39:14 +02:00

gpio_session

os: use async IRQ and server lib in drivers

2015-04-23 16:47:59 +02:00

gpu

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +02:00

init

init: propagate exit conditions of children

2015-09-30 12:20:36 +02:00

input

os: Move Ring_buffer to Genode namespace

2015-04-17 16:13:21 +02:00

input_session

base,os: Coding-style unification

2015-03-13 12:17:23 +01:00

ldso

Revised API documentation

2015-04-09 16:04:46 +02:00

loader_session

Revised API documentation

2015-04-09 16:04:46 +02:00

net

os: rename 'bswap' to 'host_to_big_endian'

2015-05-20 17:52:58 +02:00

nic

Replace Nic driver interface by customizable component

2015-07-01 14:46:16 +02:00

nic_session

Revised API documentation

2015-04-09 16:04:46 +02:00

nitpicker_gfx

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +02:00

nitpicker_session

Revised API documentation

2015-04-09 16:04:46 +02:00

os

safeguard the synchronized allocator template

2015-09-30 12:20:39 +02:00

packet_stream_rx

Revised API documentation

2015-04-09 16:04:46 +02:00

packet_stream_tx

Revised API documentation

2015-04-09 16:04:46 +02:00

platform_device

Introduce 'spec' subdirectories to outline aspects

2015-09-16 13:58:50 +02:00

platform_session

base,os: Coding-style unification

2015-03-13 12:17:23 +01:00

ram_fs

ram_fs: coding style, license headers

2015-08-21 10:58:58 +02:00

regulator

base,os: Coding-style unification

2015-03-13 12:17:23 +01:00

regulator_session

base,os: Coding-style unification

2015-03-13 12:17:23 +01:00

report_session

Revised API documentation

2015-04-09 16:04:46 +02:00

rtc_session

base,os: Coding-style unification

2015-03-13 12:17:23 +01:00

spec

Introduce 'spec' subdirectories to outline aspects

2015-09-16 13:58:50 +02:00

terminal

os: Move Ring_buffer to Genode namespace

2015-04-17 16:13:21 +02:00

terminal_session

Revised API documentation

2015-04-09 16:04:46 +02:00

timer_session

Omit timer RPC calls for usleep(0)

2015-04-09 16:04:46 +02:00

trace

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +02:00

uart_session

base,os: Coding-style unification

2015-03-13 12:17:23 +01:00

usb

base,os: Coding-style unification

2015-03-13 12:17:23 +01:00

usb_session

usb_drv improvements

2015-05-06 12:01:30 +02:00

util

Let XML generator append a trailing newline

2015-06-22 14:43:35 +02:00

vfs

Remove Packet_ref from File_system::Packet_descriptor

2015-09-30 12:20:37 +02:00

xev_track

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +02:00