Implement kill_request_handler in spawnd, using domain caps.
authorRazvan Damachi <razvan.damachi@gmail.com>
Wed, 21 Jun 2017 12:30:56 +0000 (14:30 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 31 Aug 2017 14:35:07 +0000 (16:35 +0200)
commite34340503614851140241cb38e1a03ec5b5d1cde
tree2a0a51ea1cf466d5b66bae68db5b875efda45c6b
parent93751d0a5e46a8f299343d4cec3af642a117bd37
Implement kill_request_handler in spawnd, using domain caps.

Domain cap hashing is now used by spawnd in a manner similar to the process
manager's, for looking up domains to kill as per incoming kill(domain_cap)
requests.

Note that with the new API and implementation, spawnd no longer tracks domain
exit code or waiters (although some backwards-compatibility is attempted), this
task being now attributed to the process manager (to be implemented).

Signed-off-by: Razvan Damachi <razvan.damachi@gmail.com>
errors/errno.fugu
include/barrelfish/domain.h
lib/barrelfish/domain.c
usr/proc_mgmt/domain.c
usr/proc_mgmt/domain.h
usr/proc_mgmt/pending_clients.c
usr/proc_mgmt/pending_clients.h
usr/proc_mgmt/service.c
usr/spawnd/ps.c
usr/spawnd/ps.h
usr/spawnd/service.c