Stefan Kalkowski 0bc012eb79 os: handle ipc error in server framework ...

When using the server framework, it might happen that the main thread
tries to forward a signal to the entrypoint, while the context of that
signal is already destroyed. In that case the main thread will get an
ipc error exception as result.

Related to #113

2014-02-25 14:58:01 +01:00

..

app

cli_monitor: add a 'gdb' command

2013-10-29 18:08:29 +01:00

drivers

block: free packet stream dataspace on destruction

2014-01-30 10:05:44 +01:00

init

os: Move Genode::Config into 'config' library

2013-09-23 14:25:58 +02:00

lib

os: handle ipc error in server framework

2014-02-25 14:58:01 +01:00

platform

Update copyright headers to 2013

2013-01-10 21:44:47 +01:00

server

Service for reflecting reports as ROM modules

2014-01-27 18:54:08 +01:00

test

Make Deallocator::need_size_for_free() pure virtual

2014-01-30 10:05:43 +01:00