On 17 September 2012 18:09, Paolo Bonzini <pbonz...@redhat.com> wrote: > Il 17/09/2012 19:02, Peter Maydell ha scritto: >> If Xen requires 64 bit physaddrs it should probably just be asserting >> this here, not randomly changing target_phys_bits. In fact all the >> supported Xen target archs already have 64 bit physaddrs, so it's >> harmless. But if there ever were a target Xen arch which didn't support >> 64 bit phys addrs then the right approach would be to convert it to >> do so regardless of whether we were using Xen or not. > > No, Xen does not require 64-bit physaddrs, but it supports them even if > you build it for 32-bit.
If it doesn't require them then it definitely shouldn't be messing with the value of target_phys_bits in configure... -- PMM
