On 8/31/21 11:57 AM, Gerd Hoffmann wrote: > Microvm has no acpi timer, so go use XenTimerDxe > which uses the local apic instead. > > FIXME: timer frequency is wrong.
Xen seems to expect a 10MHz timer. Maybe use as constant to make a generic LocalAPICTimer driver used by both Xen and microVM (with different clock rates)? > Signed-off-by: Gerd Hoffmann <kra...@redhat.com> > --- > OvmfPkg/Microvm/MicrovmX64.dsc | 3 +-- > OvmfPkg/Microvm/MicrovmX64.fdf | 3 +-- > 2 files changed, 2 insertions(+), 4 deletions(-) -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#80014): https://edk2.groups.io/g/devel/message/80014 Mute This Topic: https://groups.io/mt/85272566/21656 Group Owner: devel+ow...@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-
