projects / barrelfish / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cd66fb5) | patch
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
tree28319f5a14521e5d438e61b9dbb604e2e6800631tree | snapshot
parentcd66fb54647b2cbf7ce28da155ee91dcf5680c46commit | diff
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 diff | blob | history
include/barrelfish_kpi/sys_debug.h diff | blob | history
kernel/arch/x86_32/syscall.c diff | blob | history
kernel/arch/x86_64/syscall.c diff | blob | history
kernel/include/capabilities.h diff | blob | history
kernel/sys_debug.c diff | blob | history
lib/barrelfish/sys_debug.c diff | blob | history
usr/fish/fish_common.c diff | blob | history
Barrelfish OS git repo