c36909e5dc
acpi: Adjust device_pd quota for 64bit machines
2013-03-22 12:45:31 +01:00
e05adecfab
pci: add device_pd functionality
2013-02-22 20:28:26 +01:00
c374f294c8
pci: add support to provide PCI ECMA config
2013-02-21 11:52:02 +01:00
73ab30c22c
Update copyright headers to 2013
2013-01-10 21:44:47 +01:00
13bd859e31
Increase stack size of entry points
...
This patch increases the stack size of entrypoint threads in the PCI and
PS/2 drivers, in the Terminal server and in the Signal service for 64-bit
Genode/Fiasco.OC built with -O0.
Fixes #198 .
2012-05-09 20:55:48 +02:00
08ce32215d
Bump year in copyright headers to 2012
2012-01-03 15:35:05 +01:00
da4e1feaa5
Imported Genode release 11.11
2011-12-22 16:19:25 +01:00
Norman Feske
Alexander Boettcher
Christian Prochaska
Genode Labs