Added infrastructure for driver domains, device driver modules and
[barrelfish] / include / driverkit / driverkit.h
2017-05-15 Gerd ZellwegerAdded infrastructure for driver domains, device driver...
2013-07-16 Gerd ZellwegerMake sure mmchs driver compiles again in user space...
2013-07-16 Gerd ZellwegerA more generic way of passing caps to user-space drivers.