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

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

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

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