On 1 July 2013 20:22, Peter Maydell <peter.maydell@xxxxxxxxxx> wrote: In particular this would try to build > a 64 bit binary but with QEMU's copy of the 32 bit kernel headers: > I'm not sure that's expected (by the kernel folk) to work at all. If not, > we should just not put the line into configure in the first place. Sorry, this bit is wrong; ignore it. We pick the kernel headers based on $cpu, not $target, so get the aarch64 ones whether we're building arm-softmmu or aarch64-softmmu. -- PMM _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/cucslists/listinfo/kvmarm