Create "ProcessManager" and "Domain" capabilities.
authorRazvan Damachi <razvan.damachi@gmail.com>
Mon, 12 Jun 2017 13:37:42 +0000 (15:37 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 31 Aug 2017 14:35:07 +0000 (16:35 +0200)
commit83ef51719466b23c8831892ebe930b8b69defdfa
treec20fc35dabd3cab7ec1132c9d17c012ab7442cf6
parent0d01b285598e1cf381d0ef8d78815d85a0d4930c
Create "ProcessManager" and "Domain" capabilities.

The ProcessManager capability is created by the CPU driver at startup and given
to init, where it will be passed on to the monitor and then the process manager
subsequently.

The Domain capability is an ID-like cap retypeable from the ProcessManager cap
above. The process management server can hence use the ProcessManager cap to
create Domain caps and give them to spawnd instances, to facilitate identifying
domains locally and globally.

Signed-off-by: Razvan Damachi <razvan.damachi@gmail.com>
16 files changed:
capabilities/caps.hl
errors/errno.fugu
include/barrelfish/caddr.h
include/barrelfish_kpi/capabilities.h
include/barrelfish_kpi/distcaps.h
include/barrelfish_kpi/init.h
kernel/cap_delete.c
kernel/capabilities.c
kernel/include/capabilities.h
kernel/startup.c
lib/barrelfish/capabilities.c
lib/barrelfish/debug.c
lib/mdb/mdb_tree.c
usr/init/spawn.c
usr/monitor/spawn.c
usr/proc_mgmt/service.c