Re: [Xen-devel] [PATCH v4 00/29] Xen/ARM guest support

2015-02-12 Thread Jordan Justen
Do you have this in a public branch based on this tree? https://github.com/tianocore/edk2 On 2015-02-12 03:18:52, Ard Biesheuvel wrote: This series implements support for executing Tianocore inside a Xen guest domain on 64-bit ARM systems (AArch64) The first part addresses ARM platform

Re: [Xen-devel] [PATCH v4 00/29] Xen/ARM guest support

2015-02-12 Thread Ard Biesheuvel
On 13 February 2015 at 05:18, Jordan Justen jordan.l.jus...@intel.com wrote: Do you have this in a public branch based on this tree? https://github.com/tianocore/edk2 The patches are available here https://git.linaro.org/people/ard.biesheuvel/uefi-next.git/shortlog/refs/heads/linaro-topic-xen