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

Reply via email to