kvm, arm: Add support for aarch64

This changeset adds support for aarch64 in kvm. The CPU module
supports both checkpointing and online CPU model switching as long as
no devices are simulated by the host kernel. It currently has the
following limitations:

   * The system register based generic timer can only be simulated by
     the host kernel. Workaround: Use a memory mapped timer instead to
     simulate the timer in gem5.

   * Simulating devices (e.g., the generic timer) in the host kernel
     requires that the host kernel also simulates the GIC.

   * ID registers in the host and in gem5 must match for switching
     between simulated CPUs and KVM. This is particularly important
     for ID registers describing memory system capabilities (e.g.,
     ASID size, physical address size).

   * Switching between a virtualized CPU and a simulated CPU is
     currently not supported if in-kernel device emulation is
     used. This could be worked around by adding support for switching
     to the gem5 (e.g., the KvmGic) side of the device models. A
     simpler workaround is to avoid in-kernel device models
     altogether.

1 files changed, 1 insertions, 1 deletions

diff --git a/SConstruct b/SConstruct
index 2d61aa0f2..d229960c2 100755
--- a/SConstruct
+++ b/SConstruct
@@ -1048,7 +1048,7 @@ def is_isa_kvm_compatible(isa):
         return False
 
     if isa == "arm":
-        return host_isa == "armv7l"
+        return host_isa in ( "armv7l", "aarch64" )
     elif isa == "x86":
         if host_isa != "x86_64":
             return False