1. 2015-10-27 Re: [Xen-users] Why the built xen file is 32-bit on 6 xen-users Roger_Pau_Monné 2. 2015-10-27 [Xen-users] Why the built xen file is 32-bit on 64-bi xen-users Nan Xiao