Implement kill_request_handler in spawnd, using domain caps.
[barrelfish] / usr / proc_mgmt /
drwxr-xr-x   ..
-rw-r--r-- 2515 Hakefile
-rw-r--r-- 4218 domain.c
-rw-r--r-- 1846 domain.h
-rw-r--r-- 540 internal.h
-rw-r--r-- 681 main.c
-rw-r--r-- 1985 pending_clients.c
-rw-r--r-- 1099 pending_clients.h
-rw-r--r-- 12995 service.c
-rw-r--r-- 4957 spawn_client.c
-rw-r--r-- 1145 spawn_client.h
-rw-r--r-- 1116 spawnd_state.c
-rw-r--r-- 845 spawnd_state.h