Factored out IPI sending invocations to their own cap instead of kernel cap.
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Fri, 21 Nov 2014 13:54:17 +0000 (14:54 +0100)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Fri, 21 Nov 2014 14:34:15 +0000 (15:34 +0100)
commitdb8fa1931175086914ec214175638fc84dd33e44
treeef34602edf2342e59be886794326a837a1a8eed1
parentb764f1e735d2dd81ac2a59e91a597228117e3305
Factored out IPI sending invocations to their own cap instead of kernel cap.
capabilities/caps.hl
if/monitor_blocking.if
include/arch/x86_32/barrelfish/invocations_arch.h
include/arch/x86_64/barrelfish/invocations_arch.h
include/barrelfish_kpi/capabilities.h
kernel/arch/x86_32/syscall.c
kernel/arch/x86_64/syscall.c
kernel/capabilities.c
usr/drivers/cpuboot/main.c
usr/drivers/cpuboot/x86boot.c
usr/monitor/monitor_rpc_server.c