[PATCH v4 3/3] enable QEMU for ARM builds

[Stefano Stabellini <stefano.stabellini@eu.citrix.com>]

Build qemu-xen on ARM and ARM64: it is used to provide the PV backends,
disk and framebuffer in particular.

Ideally we would also modify the configure options to only build what is
necessary: a machine just for PV backends. However that is a work in
progress and not yet available in QEMU (see
http://marc.info/?l=qemu-devel&m=139082425718379&w=2). So we just build
the usual i386 target, even though no i386 emulation is going to be done
by qemu-xen on ARM.

Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>

diff --git a/tools/configure b/tools/configure
index a4aa8f1..ae60824 100755
--- a/tools/configure
+++ b/tools/configure
@@ -3876,6 +3876,8 @@ else
     case "$host_cpu" in
         i[3456]86|x86_64)
            qemu_xen=y;;
+        arm*|aarch64)
+           qemu_xen=y;;
         *) qemu_xen=n;;
     esac
 
diff --git a/tools/configure.ac b/tools/configure.ac
index 629d6a0..c595233 100644
--- a/tools/configure.ac
+++ b/tools/configure.ac
@@ -132,6 +132,8 @@ AC_ARG_WITH([system-qemu],
     case "$host_cpu" in
         i[[3456]]86|x86_64)
            qemu_xen=y;;
+        arm*|aarch64)
+           qemu_xen=y;;
         *) qemu_xen=n;;
     esac
 ])