proc_mgmt: bugfix for domains spawned from startd
authorRoni Häcki <roni.haecki@inf.ethz.ch>
Mon, 2 Oct 2017 13:47:58 +0000 (15:47 +0200)
committerRoni Häcki <roni.haecki@inf.ethz.ch>
Mon, 2 Oct 2017 13:47:58 +0000 (15:47 +0200)
commit0d2ea2644b6a1cc08e04a0eb09c6c4788cb92c4f
treeceb7e4e9adb62cc99538265de60c24c42168960d
parente6bdcd9ea36be11ade363c5e1662ab1e8f5b1523
proc_mgmt: bugfix for domains spawned from startd

- Apps specified in menu.lst are now spawned using the proc_mgmt
- client side of proc_mgmt allocates cap slot as it should be
- Changed exit message to RPC

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
if/proc_mgmt.if
lib/barrelfish/proc_mgmt_client.c
usr/proc_mgmt/service.c
usr/startd/spawn.c