T119: kernel: Unify debug_print_capabilities in sys_debug.c
authorMoritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Mon, 15 Jun 2015 11:27:30 +0000 (13:27 +0200)
committerMoritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Tue, 16 Jun 2015 11:37:41 +0000 (13:37 +0200)
commit27e7faaab1665600d150a1f1127c295e650e9509
tree8219300125db672c28f57921ca45fa13af0ca0b0
parent1f7bc151f1669ba47a799f22a0379ded60daff6e
T119: kernel: Unify debug_print_capabilities in sys_debug.c

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
include/barrelfish_kpi/sys_debug.h
include/barrelfish_kpi/syscalls.h
kernel/Hakefile
kernel/arch/arm/syscall.c
kernel/arch/x86_32/syscall.c
kernel/arch/x86_64/syscall.c
kernel/capabilities.c
kernel/sys_debug.c [new file with mode: 0644]
kernel/syscall.c