Re: [edk2-devel] [PATCH 2/2] OvmfPkg: Switch timer in build time for OvmfPkg

2021-10-30 Thread Min Xu
On October 29, 2021 7:37 PM, Gerd Hoffmann wrote: > > --- a/OvmfPkg/AmdSev/AmdSevX64.dsc > > +++ b/OvmfPkg/AmdSev/AmdSevX64.dsc > > @@ -670,10 +670,9 @@ > >} > > > >MdeModulePkg/Universal/EbcDxe/EbcDxe.inf > > - OvmfPkg/8259InterruptControllerDxe/8259.inf > >UefiCpuPkg/CpuIo2Dxe/CpuIo2

Re: [edk2-devel] [PATCH 2/2] OvmfPkg: Switch timer in build time for OvmfPkg

2021-10-29 Thread Gerd Hoffmann
> --- a/OvmfPkg/AmdSev/AmdSevX64.dsc > +++ b/OvmfPkg/AmdSev/AmdSevX64.dsc > @@ -670,10 +670,9 @@ >} > >MdeModulePkg/Universal/EbcDxe/EbcDxe.inf > - OvmfPkg/8259InterruptControllerDxe/8259.inf >UefiCpuPkg/CpuIo2Dxe/CpuIo2Dxe.inf >UefiCpuPkg/CpuDxe/CpuDxe.inf > - OvmfPkg/8254Timer

[edk2-devel] [PATCH 2/2] OvmfPkg: Switch timer in build time for OvmfPkg

2021-10-28 Thread Min Xu
BZ: https://bugzilla.tianocore.org/show_bug.cgi?id=3711 Discussion in https://bugzilla.tianocore.org/show_bug.cgi?id=1496 shows that 8254TimerDxe was not written for OVMF. It was moved over from PcAtChipsetPkg to OvmfPkg in 2019. Probably because OVMF was the only user left. Most likely the reas