Re: [edk2] [PATCH 04/10] ArmPkg: allow dynamically discovered virtual timer interrupt

2014-08-26 Thread Ard Biesheuvel
On 25 August 2014 21:19, Ard Biesheuvel wrote: > To support booting on virtual machines whose interrupt routing is > discovered from the device tree, allow the interrupt numbers to > be redeclared as PcdsDynamic by the platform .dsc > --- > ArmPkg/ArmPkg.dec| 2 ++

[edk2] [PATCH 04/10] ArmPkg: allow dynamically discovered virtual timer interrupt

2014-08-25 Thread Ard Biesheuvel
To support booting on virtual machines whose interrupt routing is discovered from the device tree, allow the interrupt numbers to be redeclared as PcdsDynamic by the platform .dsc --- ArmPkg/ArmPkg.dec| 2 ++ ArmPkg/Drivers/TimerDxe/TimerDxe.c | 6 ++