Merge branch 'master' into tmas
authorMoritz Hoffmann <moritz.hoffmann@hpe.com>
Mon, 13 Jun 2016 16:21:21 +0000 (16:21 +0000)
committerMoritz Hoffmann <moritz.hoffmann@hpe.com>
Mon, 13 Jun 2016 16:21:21 +0000 (16:21 +0000)
commit0162cb848a890f8e3e68216f708b271ed6809764
tree94b39ca5c690f73920f6f182e4a83c585479ea5d
parent7d22d47fa41baaa2ffa021434e7fb4196b3982cb
parent3d472df4dea1c02e4f9d9388c772d96cc96f3b58
Merge branch 'master' into tmas
capabilities/caps.hl
include/barrelfish_kpi/capabilities.h
kernel/arch/armv8/startup_arch.c
kernel/arch/armv8/syscall.c
kernel/capabilities.c
lib/barrelfish/debug.c
platforms/Hakefile