Make kernel create IPI cap which is passed to monitor.
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Fri, 21 Nov 2014 14:05:09 +0000 (15:05 +0100)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Fri, 21 Nov 2014 14:34:15 +0000 (15:34 +0100)
commit2e6e041c0a7bb12fc3e3c5079dceadb496bc586c
treeca2f85c8353226026b5c1c63476717ad72726815
parentdb8fa1931175086914ec214175638fc84dd33e44
Make kernel create IPI cap which is passed to monitor.

This replaces the create_cap invocation in the monitor that creates an IPI cap
when someone requests a copy of it.
errors/errno.fugu
include/barrelfish/caddr.h
include/barrelfish_kpi/init.h
kernel/startup.c
lib/barrelfish/capabilities.c
usr/init/spawn.c
usr/monitor/monitor_rpc_server.c