git.barrelfish.org Git - barrelfish/commit

author	Simon Gerber <simon.gerber@inf.ethz.ch>
	Fri, 21 Nov 2014 13:54:17 +0000 (14:54 +0100)
committer	Simon Gerber <simon.gerber@inf.ethz.ch>
	Fri, 21 Nov 2014 14:34:15 +0000 (15:34 +0100)
commit	db8fa1931175086914ec214175638fc84dd33e44
tree	ef34602edf2342e59be886794326a837a1a8eed1	tree \| snapshot
parent	b764f1e735d2dd81ac2a59e91a597228117e3305	commit \| diff

Factored out IPI sending invocations to their own cap instead of kernel cap.

Barrelfish OS git repo

capabilities/caps.hl		diff \| blob \| history
if/monitor_blocking.if		diff \| blob \| history
include/arch/x86_32/barrelfish/invocations_arch.h		diff \| blob \| history
include/arch/x86_64/barrelfish/invocations_arch.h		diff \| blob \| history
include/barrelfish_kpi/capabilities.h		diff \| blob \| history
kernel/arch/x86_32/syscall.c		diff \| blob \| history
kernel/arch/x86_64/syscall.c		diff \| blob \| history
kernel/capabilities.c		diff \| blob \| history
usr/drivers/cpuboot/main.c		diff \| blob \| history
usr/drivers/cpuboot/x86boot.c		diff \| blob \| history
usr/monitor/monitor_rpc_server.c		diff \| blob \| history