Implement kill_request_handler in spawnd, using domain caps.
[barrelfish] / include / barrelfish / domain.h
2017-08-31 Razvan DamachiImplement kill_request_handler in spawnd, using domain...
2017-08-31 Razvan DamachiAdd spawn, spawn_with_caps and span calls to the Proces...
2017-08-31 Razvan DamachiRefactor process manager to enable spawnd discovery.
2017-03-20 Adam Turowskinetwork: replacing net_queue_manager with devif as...
2017-02-28 Adam Turowskiflounder: merging rpc client with a binding layer
2015-03-09 Simon GerberT65: implement proper x-core join.
2015-03-09 Simon GerberT65: properly implement x-core thread creation.
2014-11-26 Simon GerberMerge branch 'master' into distops
2014-10-20 Simon GerberMerge branch 'master' into master-into-distops
2014-10-15 Gerd ZellwegerMerge branch coreboot.
2014-10-14 Simon GerberAdded current core_id so we can properly reroute interr...
2014-08-21 Reto Achermannlibcxx: exception handling
2014-02-28 Simon PeterThe Arrakis backport to Barrelfish.
2013-12-19 Simon GerberAdded missing includes after merge.
2013-06-25 Raphael FuchsThe octopus rpc client binding is used by the nameservi...
2013-02-08 Zaheer Chothiaheaders: wrap declarations in extern "C".
2012-03-16 Gerd ZellwegerMore renaming
2012-02-22 Gerd ZellwegerChanges for nameservice. Use RPC client for NS function...
2011-08-02 Simon PeterMerge from ASPLOS tree.
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.