T119: implement syscall and monitor interface to debug_print_capabilities
authorMoritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Thu, 11 Jun 2015 15:27:26 +0000 (17:27 +0200)
committerMoritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Tue, 16 Jun 2015 11:37:41 +0000 (13:37 +0200)
commit6ed71d681350c85418b972910f0152c9b29ef316
tree881285d87f94c0c45ff34cda782545c09c5da95e
parent52bb1ef4d963400407f5eabfd0c57fc21aaaa15a
T119: implement syscall and monitor interface to debug_print_capabilities

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
12 files changed:
if/monitor.if
include/barrelfish/monitor_client.h
include/barrelfish/syscalls.h
include/barrelfish_kpi/syscalls.h
kernel/arch/x86_64/syscall.c
kernel/capabilities.c
kernel/include/capabilities.h
kernel/include/syscall.h
kernel/syscall.c
lib/barrelfish/monitor_client.c
usr/fish/fish_common.c
usr/monitor/monitor_server.c