Implement kill_request_handler in spawnd, using domain caps.
[barrelfish] / usr / spawnd /
drwxr-xr-x   ..
-rw-r--r-- 2135 Hakefile
-rw-r--r-- 608 internal.h
-rw-r--r-- 3095 main.c
-rw-r--r-- 2475 ps.c
-rw-r--r-- 1360 ps.h
-rw-r--r-- 24847 service.c