Re: [Xen-devel] Unable to use EFI firmware in Xen ARM guest after 41f8901

2015-10-02 Thread Stefano Stabellini
On Fri, 2 Oct 2015, Ard Biesheuvel wrote: > diff --git a/ArmPkg/Library/ArmLib/AArch64/AArch64Mmu.c > b/ArmPkg/Library/ArmLib/AArch64/AArch64Mmu.c > index d98769b06b75..c84c872dbe60 100644 > --- a/ArmPkg/Library/ArmLib/AArch64/AArch64Mmu.c > +++ b/ArmPkg/Library/ArmLib/AArch64/AArch64Mmu.c > @@ -30

Re: [Xen-devel] Unable to use EFI firmware in Xen ARM guest after 41f8901

2015-10-02 Thread Ian Campbell
On Fri, 2015-10-02 at 14:48 +0200, Ard Biesheuvel wrote: > On 2 October 2015 at 14:43, Ian Campbell wrote: > > On Fri, 2015-10-02 at 14:18 +0200, Ard Biesheuvel wrote: > > > Is there any reasonable upper bound to the domU PA space > > > other than what is communicated in the ID registers? > > >

Re: [Xen-devel] Unable to use EFI firmware in Xen ARM guest after 41f8901

2015-10-02 Thread Ard Biesheuvel
On 2 October 2015 at 14:43, Ian Campbell wrote: > On Fri, 2015-10-02 at 14:18 +0200, Ard Biesheuvel wrote: >> Is there any reasonable upper bound to the domU PA space >> other than what is communicated in the ID registers? > > You mean the PASize bits/register? In which case that is it as far as

Re: [Xen-devel] Unable to use EFI firmware in Xen ARM guest after 41f8901

2015-10-02 Thread Ian Campbell
On Fri, 2015-10-02 at 14:18 +0200, Ard Biesheuvel wrote: > Is there any reasonable upper bound to the domU PA space > other than what is communicated in the ID registers? You mean the PASize bits/register? In which case that is it as far as the guest should be is concerned, yes. Ian.

Re: [Xen-devel] Unable to use EFI firmware in Xen ARM guest after 41f8901

2015-10-02 Thread Ard Biesheuvel
On 1 October 2015 at 18:32, Julien Grall wrote: > > On 1 Oct 2015 17:07, "Ard Biesheuvel" wrote: >> >> On 1 October 2015 at 17:58, Julien Grall wrote: >> > Hi, >> > >> > We tried today to use the UEFI binary provided by Linaro for Xen [1] and >> > noticed the guest doesn't boot anymore. >> > >>

Re: [Xen-devel] Unable to use EFI firmware in Xen ARM guest after 41f8901

2015-10-01 Thread Julien Grall
On 1 Oct 2015 17:07, "Ard Biesheuvel" wrote: > > On 1 October 2015 at 17:58, Julien Grall wrote: > > Hi, > > > > We tried today to use the UEFI binary provided by Linaro for Xen [1] and > > noticed the guest doesn't boot anymore. > > > > Thanks for reporting. My LAVA job appears to have been offl

Re: [Xen-devel] Unable to use EFI firmware in Xen ARM guest after 41f8901

2015-10-01 Thread Ard Biesheuvel
On 1 October 2015 at 17:58, Julien Grall wrote: > Hi, > > We tried today to use the UEFI binary provided by Linaro for Xen [1] and > noticed the guest doesn't boot anymore. > Thanks for reporting. My LAVA job appears to have been offline for a while because the Xen mustang dom0 kernel has disappe

[Xen-devel] Unable to use EFI firmware in Xen ARM guest after 41f8901

2015-10-01 Thread Julien Grall
Hi, We tried today to use the UEFI binary provided by Linaro for Xen [1] and noticed the guest doesn't boot anymore. My bisector fingered the commit 41f890164bc201f69841309c6b55e24c64121960 "ArmPkg/Mmu: Fix literal number left shift bug". I've tried to use the DEBUG firmware but didn't get any o