## @file\r
# 8254 timer driver that provides Timer Arch protocol.\r
#\r
-# Copyright (c) 2005 - 2018, Intel Corporation. All rights reserved.<BR>\r
+# Copyright (c) 2005 - 2019, Intel Corporation. All rights reserved.<BR>\r
# SPDX-License-Identifier: BSD-2-Clause-Patent\r
#\r
##\r
INF_VERSION = 0x00010005\r
BASE_NAME = Timer\r
MODULE_UNI_FILE = Timer.uni\r
- FILE_GUID = f2765dec-6b41-11d5-8e71-00902707b35e\r
+ FILE_GUID = C190FE35-44AA-41A1-8AEA-4947BC60E09D\r
MODULE_TYPE = DXE_DRIVER\r
VERSION_STRING = 1.0\r
\r
\r
[Packages]\r
MdePkg/MdePkg.dec\r
- IntelFrameworkPkg/IntelFrameworkPkg.dec\r
+ OvmfPkg/OvmfPkg.dec\r
\r
[LibraryClasses]\r
UefiBootServicesTableLib\r
UefiCpuPkg/CpuIo2Dxe/CpuIo2Dxe.inf\r
UefiCpuPkg/CpuDxe/CpuDxe.inf\r
PcAtChipsetPkg/8254TimerDxe/8254Timer.inf\r
+ OvmfPkg/8254TimerDxe/8254Timer.inf\r
OvmfPkg/IncompatiblePciDeviceSupportDxe/IncompatiblePciDeviceSupport.inf\r
OvmfPkg/PciHotPlugInitDxe/PciHotPlugInit.inf\r
MdeModulePkg/Bus/Pci/PciHostBridgeDxe/PciHostBridgeDxe.inf {\r
UefiCpuPkg/CpuIo2Dxe/CpuIo2Dxe.inf\r
UefiCpuPkg/CpuDxe/CpuDxe.inf\r
PcAtChipsetPkg/8254TimerDxe/8254Timer.inf\r
+ OvmfPkg/8254TimerDxe/8254Timer.inf\r
OvmfPkg/IncompatiblePciDeviceSupportDxe/IncompatiblePciDeviceSupport.inf\r
OvmfPkg/PciHotPlugInitDxe/PciHotPlugInit.inf\r
MdeModulePkg/Bus/Pci/PciHostBridgeDxe/PciHostBridgeDxe.inf {\r
UefiCpuPkg/CpuIo2Dxe/CpuIo2Dxe.inf\r
UefiCpuPkg/CpuDxe/CpuDxe.inf\r
PcAtChipsetPkg/8254TimerDxe/8254Timer.inf\r
+ OvmfPkg/8254TimerDxe/8254Timer.inf\r
OvmfPkg/IncompatiblePciDeviceSupportDxe/IncompatiblePciDeviceSupport.inf\r
OvmfPkg/PciHotPlugInitDxe/PciHotPlugInit.inf\r
MdeModulePkg/Bus/Pci/PciHostBridgeDxe/PciHostBridgeDxe.inf {\r