On 16 October 2014 13:29, Stefano Stabellini <stefano.stabell...@eu.citrix.com> wrote: > Unfortunately even though it is pretty x86 specific, it is still > compiled on ARM, even though it is never actually used (it is used in > i386 emulation with Xen acceleration support, while on ARM we only use > the PV machine).
Really? CONFIG_XEN_I386 is only set in the i386 and x86_64 defconfigs... -- PMM