Implemented support for "give_away" transfers in capops_copy.
authorMark Nevill <nevillm@ethz.ch>
Fri, 25 May 2012 11:27:52 +0000 (13:27 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 18 Jul 2013 12:58:33 +0000 (14:58 +0200)
commit8055af7405cb864183aa666d95667f7ecbdfd3e3
tree7d737b2c163a3f636ded9ac2c0986fa439fe3205
parentdd4b250436447f70d32dc02cb589a1ce1444dc41
Implemented support for "give_away" transfers in capops_copy.
13 files changed:
if/intermon.if
include/barrelfish_kpi/capabilities.h
kernel/arch/x86_64/syscall.c
kernel/include/syscall.h
kernel/syscall.c
usr/monitor/capops/copy.c
usr/monitor/capops/internal.h
usr/monitor/include/arch/x86_64/monitor_invocations_arch.h
usr/monitor/include/capops.h
usr/monitor/include/monitor_invocations.h
usr/monitor/include/send_cap.h
usr/monitor/invocations.c
usr/monitor/send_cap.c