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)
commit8905248dda1a617de37ab95244794c3359d6d802
treebb2c6cc6c5a9e094d46383b99d454df575e77fdb
parentaf102ea79da449953314b8ac9af95c804e46b80d
parent4a48385dc15584170908e4a9bf7ad0df3b98c3e2
Merge branch 'armv7_irq_debug'

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
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