Alexander Boettcher 1c38d4903b x86: use report_rom for acpi and pci driver ...

Issue #1542

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