A more generic way of passing caps to user-space drivers.
[barrelfish] / usr / kaluga / debug.h
2013-07-16 Gerd ZellwegerA more generic way of passing caps to user-space drivers.
2012-03-27 Gerd ZellwegerCompiles again on 32bit after merge with newlib.
2012-02-29 Gerd ZellwegerAdded functionality to start PCI driver to Kaluga.
2012-02-27 Gerd ZellwegerAdded missing files.