projects
/
barrelfish
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Implement "wait" in the process manager + fix bug in kill reply handler.
2017-08-31
Razvan Damachi
Implement "wait" in the process manager + fix bug in...
Signed-off-by:
Razvan Damachi
<razvan.damachi@gmail.com>
commit
|
commitdiff
|
tree
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