Martin Stein 92b3171765 platform_drv & exynos5: provide HDMI switches ...

ref #796

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

..

app

cli_monitor: Resource-balancing support

2013-10-16 09:26:09 +02:00

drivers

platform_drv & exynos5: provide HDMI switches

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

base: do not allow unnamed threads

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

test

Make NIC RX/TX buffer sizes configureable in libc

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