app
|
cli_monitor: Resource-balancing support
|
2013-10-16 09:26:09 +02:00 |
drivers
|
i.MX53: add config lib to GPIO driver (fix #915)
|
2013-10-22 08:00:14 +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 |