On 10/07/2017 17:49, Peter Maydell wrote: > On 5 July 2017 at 08:14, Paolo Bonzini <pbonz...@redhat.com> wrote: >> This will be useful when the functions are called, early in the configure >> process, to filter out targets that do not support hardware acceleration. >> >> Signed-off-by: Paolo Bonzini <pbonz...@redhat.com> > >> +supported_xen_target() { >> + test "$xen" = "yes" || return 1 >> + glob "$1" "*-softmmu" || return 1 >> + case "${1%-softmmu}:$cpu" in >> + arm:arm | aarch64:aarch64 | \ >> + i386:i386 | i386:x86_64 | x86_64:i386 | x86_64:x86_64) >> + return 0 >> + ;; > > This says that arm-on-arm and aarch64-on-aarch64 are supported > Xen targets...
Hmm, this comes from my old patches. IIRC the reason for the change, when it wasn't a change (many conflicts ago) was that Xen folks were using --disable-tcg because their device model for Xen PV on ARM was actually an x86_64 QEMU. Stefano and Anthony, is this still true? If so, would it make sense to add the Xen PV machine type to qemu-system-arm---that is, is it something you can whip up easily, or should I just remove that line? Paolo > Alex points out that the shippable builds now fail for aarch64 > and arm. (I think that my test machines for aarch64 and arm > don't fail like this because they happen not to have the Xen > headers installed, so the overall "does Xen work on this host" > check fails; the shippable configs do pass that test so they > try to build the Xen code.)