T119: implement syscall and monitor interface to debug_print_capabilities
[barrelfish] / lib / barrelfish / monitor_client.c
2015-06-16 Moritz HoffmannT119: implement syscall and monitor interface to debug_...
2014-11-26 Simon GerberMerge branch 'master' into distops
2014-11-10 Gerd ZellwegerPut KCB syscalls in platform independent kernel source.
2014-10-14 Simon GerberVarious debugging and disabled mdb sanity checks.
2013-07-18 Mark NevillDisabled cap_set_remote monitor rpc.
2013-07-18 Mark NevillAdded a hack in mem_serv to initialize its monitor...
2012-10-25 Raphael Fuchslibbarrelfish: Spilt private waitset_chan.h header...
2012-01-23 Andrew Baumannsimplify out-of-band cap transfer to avoid asynchronous...
2011-12-20 Andrew Baumannmove bootinfo request messages to monitor's RPC interfa...
2011-08-02 Simon PeterMerge from ASPLOS tree.
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.