Add per-spawnd message queues to the process manager.
[barrelfish] / if / spawn.if
2017-08-31 Razvan DamachiAdd per-spawnd message queues to the process manager.
2017-08-31 Razvan DamachiBreak the spawnd kill API into kill + cleanup.
2017-08-31 Razvan DamachiHave the spawn interface for the process manager requir...
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.
2016-07-26 Adam TurowskiAdding maximum size to variable arrays in flounder...
2015-06-16 Moritz HoffmannT119: kernel, spawnd, fish: Use dispatcher invocations...
2014-08-28 Reto Achermannspawn: added handling of spawn flags
2014-08-21 Reto AchermannReverted and applied Simon's xcore patch
2014-08-20 Reto Achermannspawn_with_cap: workaround
2012-06-22 Raphael FuchsAdding functionality to inherit capabilities and pass...
2011-08-02 Simon PeterMerge from ASPLOS tree.
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.