Implement kill() and exit() in the process manager.
[barrelfish] / include / barrelfish / proc_mgmt_client.h
index ad489c2..adfb4f3 100644 (file)
@@ -44,6 +44,7 @@ errval_t proc_mgmt_spawn_program_with_caps(coreid_t core_id, const char *path,
                                  struct capref *ret_domain_cap);
 errval_t proc_mgmt_span(coreid_t core_id);
 errval_t proc_mgmt_kill(struct capref domain_cap);
+errval_t proc_mgmt_exit(uint8_t status);
 
 __END_DECLS