Add spawn, spawn_with_caps and span calls to the Process Manager API.
[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-- 1182 ps.c
-rw-r--r-- 1111 ps.h
-rw-r--r-- 23761 service.c