genode/repos/os/src/drivers/platform/spec
Stefan Kalkowski c48e13e1c0 platform_drv: return quota when freeing dma memory
This is an interim fix for solving the quota leakage problem of
the platform driver on x86 platforms. To properly fix that problem
one has to track which dataspaces where created by the platform driver,
so that freeing the dataspace and reversing the quota transfer is done
on correct dataspaces only.

Refer #1980
2016-05-26 15:54:17 +02:00
..
arndale Introduce 'spec' subdirectories to outline aspects 2015-09-16 13:58:50 +02:00
imx53 Introduce 'spec' subdirectories to outline aspects 2015-09-16 13:58:50 +02:00
odroid_x2 exynos: generalize Exynos5 fb_drv for Exynos4/5 2015-09-30 12:20:37 +02:00
rpi Introduce 'spec' subdirectories to outline aspects 2015-09-16 13:58:50 +02:00
x86 platform_drv: return quota when freeing dma memory 2016-05-26 15:54:17 +02:00