A more generic way of passing caps to user-space drivers.
[barrelfish] / capabilities /
2013-01-29 Simon GerberChanged cte size to 128 bytes.
2012-06-22 Raphael FuchsAdded ID capability, providing a system-wide unique ID.
2012-02-08 Mark NevillMerged MDB rewrite.
2012-01-24 Mark NevillFixed remaining uint8 core_id in FCNode definition.
2012-01-23 Andrew Baumannremove support for Beehive
2012-01-23 Mark NevillAdded coreid type.
2012-01-20 Mark NevillAdded comment on CNode address property.
2012-01-20 Mark NevillEnforce ordering of caps.
2012-01-20 Mark NevillMade cap size optional.
2012-01-19 Mark NevillUpdated caps.hl for new hamlet.
2011-08-02 Simon PeterMerge from ASPLOS tree.
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.