Break the spawnd kill API into kill + cleanup.
[barrelfish] / usr / spawnd / ps.c
2017-08-31 Razvan DamachiBreak the spawnd kill API into kill + cleanup.
2017-08-31 Razvan DamachiImplement kill() and exit() in the process manager.
2017-08-31 Razvan DamachiImplement kill_request_handler in spawnd, using domain...
2011-08-02 Simon PeterMerge from ASPLOS tree.