Stefan Kalkowski 2329184ddb cli_monitor: make preservation limit a hard limit ...

When a child requests more ram resources, it gets blocked immediately when
the preservation limit is reached. Otherwise, it might happen that the
cli_monitor runs out of memory.

2013-10-22 08:00:17 +02:00

..

app

cli_monitor: make preservation limit a hard limit

2013-10-22 08:00:17 +02:00

drivers

fb & exynos5: avoid USB HID problems with FOC

2013-10-22 08:00:15 +02:00

init

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

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

lib

os: don't close the Rm_connection in ldso

2013-10-17 11:05:29 +02:00

platform

Update copyright headers to 2013

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

server

nitpicker: Late allocation of virtual framebuffer

2013-10-22 08:00:16 +02:00

test

nitpicker: Late allocation of virtual framebuffer

2013-10-22 08:00:16 +02:00