kernel: do not drop RAM caps
[barrelfish] / capabilities /
2014-11-21 Simon GerberFactored out IPI sending invocations to their own cap...
2014-10-14 Gerd ZellwegerMake sure KCb has correct size.
2014-10-14 Gerd ZellwegerMake kcb 2**13 in size.
2014-10-14 Simon GerberAdded capability type and struct definition for kcb...
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.