projects / barrelfish / search
| 2017-08-31 | Razvan Damachi | Implement kill() and exit() in the process manager. Signed-off-by: Razvan Damachi <razvan.damachi@gmail.com> |
commit | commitdiff | tree |
| 2017-08-31 | Razvan Damachi | Implement kill_request_handler in spawnd, using domain... Signed-off-by: Razvan Damachi <razvan.damachi@gmail.com> |
commit | commitdiff | tree |
| 2017-08-31 | Razvan Damachi | Add spawn, spawn_with_caps and span calls to the Process... Signed-off-by: Razvan Damachi <razvan.damachi@gmail.com> |
commit | commitdiff | tree |
| 2017-08-31 | Razvan Damachi | Create "ProcessManager" and "Domain" capabilities. Signed-off-by: Razvan Damachi <razvan.damachi@gmail.com> |
commit | commitdiff | tree |
| 2017-08-31 | Razvan Damachi | Refactor process manager to enable spawnd discovery. Signed-off-by: Razvan Damachi <razvan.damachi@gmail.com> |
commit | commitdiff | tree |
| 2017-08-31 | Razvan Damachi | First outline of a process management service server. Signed-off-by: Razvan Damachi <razvan.damachi@gmail.com> |
commit | commitdiff | tree |