Merge branch 'armv7_irq_debug'
authorLukas Humbel <lukas.humbel@inf.ethz.ch>
Tue, 5 Mar 2019 15:50:06 +0000 (16:50 +0100)
committerLukas Humbel <lukas.humbel@inf.ethz.ch>
Tue, 5 Mar 2019 15:50:06 +0000 (16:50 +0100)
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

1  2 
include/barrelfish/debug.h
include/barrelfish/invocations.h
kernel/arch/arm/exn.c
kernel/arch/armv7/paging.c
kernel/arch/armv7/syscall.c
kernel/arch/x86_64/irq.c
kernel/arch/x86_64/syscall.c
lib/barrelfish/sys_debug.c
platforms/Hakefile
usr/kaluga/x86.c
usr/monitor/monitor_rpc_server.c

Simple merge
Simple merge
Simple merge
Simple merge
Simple merge
Simple merge
Simple merge
Simple merge
Simple merge
Simple merge
Simple merge