genode/repos/os/src
2015-06-09 11:00:12 +02:00
..
app base: use reference for ascii_to output argument 2015-04-17 16:13:19 +02:00
drivers x86: use report_rom for acpi and pci driver 2015-06-09 11:00:12 +02:00
init Init: support for aliases for child names 2015-01-20 11:25:59 +01:00
lib vfs: decouple file-system factory from libc 2015-06-09 11:00:10 +02:00
server nitpicker: fix Domain_registry destructor 2015-06-09 11:00:12 +02:00
test base: make PD session upgradeable 2015-05-26 09:40:02 +02:00