kernel: do not drop RAM caps
[barrelfish] / kernel / include / dispatch.h
2015-08-06 Simon Gerberkernel: do not drop RAM caps
2014-11-26 Simon GerberMerge branch 'master' into distops
2014-10-14 Simon GerberAdded code to make it possible to switch between kernel...
2014-10-14 Simon GerberAdded more scheduler state to kcb.
2013-07-18 Simon GerberMerge master into distops.
2013-07-18 Mark NevillCompleted implementation of "give away" cap support.
2013-03-19 Kornilios KourtisNew tracing infrastructure
2012-02-03 Kornilios Kourtismerge newlib tree to current
2012-01-23 Andrew Baumannremove support for Beehive
2011-12-28 Zeus Gómez MarmolejoReplaced caddr_t type with capaddr_t to avoid conflict...
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.