T119: kernel, spawnd, fish: Use dispatcher invocations to dump capability information
authorMoritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Mon, 15 Jun 2015 14:40:27 +0000 (16:40 +0200)
committerMoritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Tue, 16 Jun 2015 11:37:41 +0000 (13:37 +0200)
commitcd66fb54647b2cbf7ce28da155ee91dcf5680c46
tree21bf2c146e7de8bc54a5639bf9c3fded0dec73cb
parent27e7faaab1665600d150a1f1127c295e650e9509
T119: kernel, spawnd, fish: Use dispatcher invocations to dump capability information

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
12 files changed:
if/spawn.if
include/arch/x86_64/barrelfish/invocations_arch.h
include/barrelfish/spawn_client.h
include/barrelfish_kpi/capabilities.h
kernel/arch/x86_64/syscall.c
kernel/include/sys_debug.h [new file with mode: 0644]
kernel/include/syscall.h
kernel/sys_debug.c
lib/barrelfish/spawn_client.c
usr/fish/fish_common.c
usr/monitor/monitor_server.c
usr/spawnd/service.c