Add per-spawnd message queues to the process manager.
[barrelfish] / lib / barrelfish / proc_mgmt_client.c
2017-08-31 Razvan DamachiAdd per-spawnd message queues to the process manager.
2017-08-31 Razvan DamachiImplement "wait" in the process manager + fix bug in...
2017-08-31 Razvan DamachiImplement kill() and exit() in the process manager.
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-08-31 Razvan DamachiFirst outline of a process management service server.