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 ++
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 ++