T119: kernel, spawn, libbarrelfish, fish: Remove DEBUG_PRINT_CAPABILITIES syscall...
authorMoritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Mon, 15 Jun 2015 15:06:29 +0000 (17:06 +0200)
committerMoritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Tue, 16 Jun 2015 11:37:41 +0000 (13:37 +0200)
commitaf59ae7e9d77bb17e7a7e204728479fdeb610b64
tree28319f5a14521e5d438e61b9dbb604e2e6800631
parentcd66fb54647b2cbf7ce28da155ee91dcf5680c46
T119: kernel, spawn, libbarrelfish, fish: Remove DEBUG_PRINT_CAPABILITIES syscall. Use capinvoke from fish instead. Improve output formatting.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
include/barrelfish/syscalls.h
include/barrelfish_kpi/sys_debug.h
kernel/arch/x86_32/syscall.c
kernel/arch/x86_64/syscall.c
kernel/include/capabilities.h
kernel/sys_debug.c
lib/barrelfish/sys_debug.c
usr/fish/fish_common.c