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

2015-05-01 Thread Robert VanVossen
Hello, On 5/1/2015 8:55 AM, Julien Grall wrote: > Hi, > > On 01/05/15 13:48, Ian Campbell wrote: >> 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

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

2015-05-01 Thread Julien Grall
Hi, On 01/05/15 13:48, Ian Campbell wrote: > 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

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

2015-05-01 Thread Ian Campbell
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 i

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

2015-04-29 Thread Robert VanVossen
On 4/28/2015 4:14 PM, Julien Grall wrote: > > On 28/04/2015 20:14, Robert VanVossen wrote: >> Hello, > > Hi Robert, > >> I was wondering, what is the current state of running a 32-bit ARM guest >> running >> on a 64-bit Xen for ARM. I was working on getting the minios from >> https://github.c

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

2015-04-28 Thread Edgar E. Iglesias
On Tue, Apr 28, 2015 at 03:14:51PM -0400, Robert VanVossen wrote: > Hello, > > I was wondering, what is the current state of running a 32-bit ARM guest > running > on a 64-bit Xen for ARM. I was working on getting the minios from > https://github.com/talex5/xen/commits/next built and running as a

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

2015-04-28 Thread Julien Grall
On 28/04/2015 20:14, Robert VanVossen wrote: Hello, Hi Robert, I was wondering, what is the current state of running a 32-bit ARM guest running on a 64-bit Xen for ARM. I was working on getting the minios from https://github.com/talex5/xen/commits/next built and running as a guest on an emul

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

2015-04-28 Thread Robert VanVossen
Hello, I was wondering, what is the current state of running a 32-bit ARM guest running on a 64-bit Xen for ARM. I was working on getting the minios from https://github.com/talex5/xen/commits/next built and running as a guest on an emulated Cortex-A53. I have gotten Xen and 64-bit Linux guests run