aarch64: Use VNode_AARCH64_l0 as initial page table level.
authorMoritz Hoffmann <moritz.hoffmann@hpe.com>
Wed, 15 Jun 2016 15:38:39 +0000 (15:38 +0000)
committerMoritz Hoffmann <moritz.hoffmann@hpe.com>
Wed, 15 Jun 2016 15:54:01 +0000 (15:54 +0000)
commit69ff338736751fa0e699728eaa563dd4c46e48da
tree5f80f3d73b20766ef4bb1e2a9fc842b907673a0c
parent12417e477b3b42fd1b827ee84ce50f4ee1a4ed94
aarch64: Use VNode_AARCH64_l0 as initial page table level.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@hpe.com>
capabilities/caps.hl
include/barrelfish_kpi/capabilities.h
kernel/arch/armv8/paging.c
kernel/arch/armv8/syscall.c
kernel/syscall.c
lib/barrelfish/arch/aarch64/pmap_arch.c
lib/spawndomain/spawn.c