Re: [Xen-devel] 32-bit ARM guest on 64-bit ARM Xen

[Ian Campbell <ian.campbell@xxxxxxxxxx>]

On Wed, 2015-04-29 at 12:21 -0400, Robert VanVossen wrote:
> This yields xen/xen/arch/arm/domain.c:208 which has the following line:
> 
> WRITE_SYSREG32(n->arch.teecr, TEECR32_EL1);

This is in a "if ( is_32bit_domain(p->domain) && cpu_has_thumbee )"
condition, so if it isn't a 32-bit model issue it might be a ThumbEE
one?

Ian.


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel