kernel: capabilities: wrap check_caps_create_arguments() in #ifndef NDEBUG because...
[barrelfish] / AUTHORS
2015-06-05 Simon GerberMerge of upstream arrakis code.
2015-05-22 Simon GerberUpdate AUTHORS file according to commit authors.
2013-01-16 pravin@inf.ethz.chMinor change to revive the tip to be the latest and...
2011-08-02 Simon PeterMerge from ASPLOS tree.
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.