Norman Feske f1dcaa746d Enable C++11 by default

2013-09-23 14:26:01 +02:00

..

app

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

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

drivers

os: Split Session_label from Session_policy

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

init

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

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

lib

dde_kit: Allow re-scheduling from timer handler

2013-09-23 14:26:00 +02:00

platform

Update copyright headers to 2013

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

server

Enable C++11 by default

2013-09-23 14:26:01 +02:00

test

trace: use new trace frontend in test-trace

2013-09-23 14:26:01 +02:00