|
app
|
cli_monitor: add a 'gdb' command
|
2013-10-29 18:08:29 +01:00 |
|
drivers
|
os: initial preparation for 64Bit AHCI support
|
2013-11-26 16:50:52 +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
|
tz_vmm: make scenario reproducible by everyone
|
2013-11-28 08:22:25 +01:00 |
|
test
|
Whitespace fix
|
2013-11-26 14:32:08 +01:00 |
