Re: [edk2] [PATCH 03/10] ArmPkg/TimerDxe: allow virtual timer to be selected

2014-08-26 Thread Laszlo Ersek
some comments below, not affecting semantics On 08/25/14 21:19, Ard Biesheuvel wrote: > From: Michael Casadevall > > For virtual machines, the physical architected timer may not be available, > so we need to allow the virtual timer to be used instead. > > Signed-off-by: Michael Casadevall > Si

[edk2] [PATCH 03/10] ArmPkg/TimerDxe: allow virtual timer to be selected

2014-08-25 Thread Ard Biesheuvel
From: Michael Casadevall For virtual machines, the physical architected timer may not be available, so we need to allow the virtual timer to be used instead. Signed-off-by: Michael Casadevall Signed-off-by: Ard Biesheuvel --- ArmPkg/ArmPkg.dec | 5 ++ ArmPkg/D