Re: [edk2] [PATCH v2 0/5] ArmVirtPkg: add ARM support to ArmVirtXen

2015-12-23 Thread Ard Biesheuvel
On 21 December 2015 at 18:59, Stefano Stabellini wrote: > On Wed, 16 Dec 2015, Ard Biesheuvel wrote: >> By special request, this implements ARM support to the ArmVirtXen >> platform. This time, I managed to test it myself under Xen on actual >> AArch64 hardware, after I figured out that 64-bit sup

Re: [edk2] [PATCH v2 0/5] ArmVirtPkg: add ARM support to ArmVirtXen

2015-12-21 Thread Stefano Stabellini
On Wed, 16 Dec 2015, Ard Biesheuvel wrote: > By special request, this implements ARM support to the ArmVirtXen > platform. This time, I managed to test it myself under Xen on actual > AArch64 hardware, after I figured out that 64-bit supports 32-bit guests > as well. > > Changes since v1: > - two

[edk2] [PATCH v2 0/5] ArmVirtPkg: add ARM support to ArmVirtXen

2015-12-16 Thread Ard Biesheuvel
By special request, this implements ARM support to the ArmVirtXen platform. This time, I managed to test it myself under Xen on actual AArch64 hardware, after I figured out that 64-bit supports 32-bit guests as well. Changes since v1: - two patches have been merged, and hence dropped from this ser