Stefan Kalkowski e559fb7df9 cli_monitor: limit request yields to children ... Don't request resource yieldings from children that are in a resource request themselfs to lower needless system load.		2013-10-22 08:00:17 +02:00
..
app	cli_monitor: limit request yields to children	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