Merge branch 'armv8-syscall' (early part)

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

diff --cc include/barrelfish_kpi/capabilities.h
Simple merge

diff --cc kernel/arch/armv8/syscall.c
Simple merge

diff --cc lib/barrelfish/arch/aarch64/pmap_arch.c
Simple merge

diff --cc platforms/Hakefile
index 1a22bb8,a7dd8c2..ee5dec5
--- 1/platforms/Hakefile
--- 2/platforms/Hakefile
+++ b/platforms/Hakefile
@@@ -706,24 -722,24 +710,27 @@@ let bin_rcce_lu = [ "/sbin/" ++ f | f <
        Str "--arch", Str "armv8",
        Str "--hagfish", Str Config.hagfish_location,
        Str "--debug", In SrcTree "tools" "/tools/debug.armv8.gdb" ]
+       ++ [(Dep BuildTree "armv8" f) | f <- armv8_modules ]
+       ++ [(Dep BuildTree "armv8" "/sbin/cpu_a57v")]
+       ++ [(Dep BuildTree "" f) | f <- modules_generic ])
      "Boot QEMU in 64-bit ARM mode emulating a ARM Virtual Machine",
  
 -    boot "qemu_x86_64_debug" [ "x86_64" ] [
 +    boot "qemu_x86_64" [ "x86_64" ] ([
        In SrcTree "tools" "/tools/qemu-wrapper.sh",
        Str "--menu", In BuildTree "root" "/platforms/x86/menu.lst.x86_64",
 -      Str "--arch", Str "x86_64",
 -      Str "--debug", In SrcTree "tools" "/tools/debug.gdb" ]
 -    "Boot QEMU under GDB in 64-bit x86 mode emulating a PC",
 +      Str "--arch", Str "x86_64" ] ++ [
 +      (Dep BuildTree "x86_64" f) | f <- modules_x86_64 ] ++ [
 +      (Dep BuildTree "" f) | f <- modules_generic ])
 +    "Boot QEMU in 64-bit x86 mode emulating a PC",
  
 -    boot "qemu_x86_32_debug" [ "x86_32" ] [
 +    boot "qemu_x86_64_debug" [ "x86_64" ] ([
        In SrcTree "tools" "/tools/qemu-wrapper.sh",
 -      Str "--menu", In BuildTree "root" "/platforms/x86/menu.lst.x86_32",
 -      Str "--arch", Str "x86_32",
 -      Str "--debug", In SrcTree "tools" "/tools/debug.gdb" ]
 -    "Boot QEMU under GDB in 32-bit x86 mode emulating a PC",
 +      Str "--menu", In BuildTree "root" "/platforms/x86/menu.lst.x86_64",
 +      Str "--arch", Str "x86_64",
 +      Str "--debug", In SrcTree "tools" "/tools/debug.gdb" ] ++ [
 +      (Dep BuildTree "x86_64" f) | f <- modules_x86_64 ] ++ [
 +      (Dep BuildTree "" f) | f <- modules_generic ])
 +    "Boot QEMU under GDB in 64-bit x86 mode emulating a PC",
  
      boot "usbboot_panda" [ "armv7" ] [
        In BuildTree "tools" "/bin/usbboot",