A more generic way of passing caps to user-space drivers.
[barrelfish] / usr / kaluga / Hakefile
2013-07-16 Gerd ZellwegerA more generic way of passing caps to user-space drivers.
2013-04-09 Kornilios Kourtiskaluga/octopus: make it compile for arm
2012-04-12 Gerd ZellwegerOnly build kaluga and octopus tests on x86. We need...
2012-03-27 Gerd ZellwegerCompiles again after merge with current tip.
2012-03-22 Gerd ZellwegerSome comments.
2012-03-16 Gerd ZellwegerMore renaming
2012-03-10 Gerd ZellwegerRemove sleep/reset handlers from PCI interface and
2012-03-10 Gerd ZellwegerStarting PCI.
2012-02-29 Gerd ZellwegerAdded functionality to start PCI driver to Kaluga.
2012-02-29 Gerd ZellwegerParsing menu.lst in Kaluga to find driver binaries.
2012-02-27 Gerd ZellwegerProvide proper arch and cpu id in kaluga on core boot and
2012-02-26 Gerd ZellwegerRemoved cap storage from nameserver client library...
2012-02-24 Gerd ZellwegerAdded missing THC library to Hakefiles.
2012-02-17 Gerd ZellwegerGiving device_mgr a fish name :-).
2012-02-16 Gerd ZellwegerRenaming device manager