Alexander Boettcher 92cb9eb06d x86: support dynamic upgrades for platform driver ... and, especially, for the device_pd. Account all resources per platform session separately. Fixes #1539		2015-11-29 18:17:02 +01:00
..
acpi	acpi - report rmrr via acpi report rom	2015-11-18 12:22:08 +01:00
ahci	x86: support dynamic upgrades for platform driver	2015-11-29 18:17:02 +01:00
audio/spec/linux	Introduce 'spec' subdirectories to outline aspects	2015-09-16 13:58:50 +02:00
framebuffer/spec	fb_sdl: check for X11 / prevent invalid-event flood	2015-11-04 14:09:28 +01:00
gpio/spec	disabling verbose in gpio driver	2015-10-09 16:37:22 +02:00
input	ps2: support verbose config parameter	2015-11-27 12:18:51 +01:00
nic/spec	nic session: fix quota check	2015-10-09 16:38:48 +02:00
platform/spec	x86: support dynamic upgrades for platform driver	2015-11-29 18:17:02 +01:00
rtc/spec/x86	Introduce 'spec' subdirectories to outline aspects	2015-09-16 13:58:50 +02:00
sd_card	Introduce 'spec' subdirectories to outline aspects	2015-09-16 13:58:50 +02:00
timer	Consider byte offset in Attached_io_mem_dataspace	2015-11-18 12:22:07 +01:00
uart	Introduce 'spec' subdirectories to outline aspects	2015-09-16 13:58:50 +02:00