caps: Add VNode_AARCH64_l0 and VNode_AARCH64_l0_Mapping capabilities.
authorMoritz Hoffmann <moritz@dhcp-16-111-6-143.labs.hpecorp.net>
Fri, 3 Jun 2016 23:58:11 +0000 (16:58 -0700)
committerMoritz Hoffmann <moritz@dhcp-16-111-6-143.labs.hpecorp.net>
Fri, 3 Jun 2016 23:58:11 +0000 (16:58 -0700)
commit8b476a65b335d2b27a0dafdab942be5f35784d37
treeb70bf4f5b732a1a2fbe5201ce21d435dd2cd17fe
parent8f1b66c422f2c1a462884c6aaea9e469bf5c97fb
caps: Add VNode_AARCH64_l0 and VNode_AARCH64_l0_Mapping capabilities.

Signed-off-by: Moritz Hoffmann <moritz@dhcp-16-111-6-143.labs.hpecorp.net>
capabilities/caps.hl
include/barrelfish_kpi/capabilities.h
include/barrelfish_kpi/distcaps.h
kernel/capabilities.c
lib/barrelfish/debug.c