Stefan Kalkowski 8b7c67976d Follow-up fix for "hw: basic support for ODROID"

2013-12-09 10:49:16 +01:00

..

app

cli_monitor: add a 'gdb' command

2013-10-29 18:08:29 +01:00

drivers

Follow-up fix for "hw: basic support for ODROID"

2013-12-09 10:49:16 +01:00

init

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

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

lib

ldso: increase MEM_SIZE in 'mmap()'

2013-11-26 14:32:07 +01:00

platform

Update copyright headers to 2013

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

server

block: let generic driver API work asynchronously

2013-12-04 11:14:18 +01:00

test

block: let generic driver API work asynchronously

2013-12-04 11:14:18 +01:00