VirtualBox

source: vbox/trunk/src/VBox/Devices/EFI/Firmware/PcAtChipsetPkg/HpetTimerDxe/HpetTimerDxe.inf@ 85938

Last change on this file since 85938 was 85718, checked in by vboxsync, 5 years ago

Devices/EFI: Merge edk-stable202005 and make it build, bugref:4643

  • Property svn:eol-style set to native
File size: 1.5 KB
Line 
1## @file
2# Timer Architectural Protocol module using High Precision Event Timer (HPET).
3#
4# Copyright (c) 2011 - 2018, Intel Corporation. All rights reserved.<BR>
5# SPDX-License-Identifier: BSD-2-Clause-Patent
6#
7##
8
9[Defines]
10 INF_VERSION = 0x00010005
11 BASE_NAME = HpetTimerDxe
12 MODULE_UNI_FILE = HpetTimerDxe.uni
13 FILE_GUID = 6CE6B0DE-781C-4f6c-B42D-98346C614BEC
14 MODULE_TYPE = DXE_DRIVER
15 VERSION_STRING = 1.0
16 ENTRY_POINT = TimerDriverInitialize
17
18#
19# The following information is for reference only and not required by the build tools.
20#
21# VALID_ARCHITECTURES = IA32 X64 EBC
22#
23#
24
25[Sources]
26 HpetTimer.c
27
28[Packages]
29 MdePkg/MdePkg.dec
30 UefiCpuPkg/UefiCpuPkg.dec
31 PcAtChipsetPkg/PcAtChipsetPkg.dec
32
33[LibraryClasses]
34 PcdLib
35 IoLib
36 DebugLib
37 UefiDriverEntryPoint
38 UefiBootServicesTableLib
39 BaseLib
40 LocalApicLib
41 IoApicLib
42
43[Protocols]
44 gEfiTimerArchProtocolGuid ## PRODUCES
45 gEfiCpuArchProtocolGuid ## CONSUMES
46
47[FeaturePcd]
48 gPcAtChipsetPkgTokenSpaceGuid.PcdHpetMsiEnable ## CONSUMES
49
50[Pcd]
51 gPcAtChipsetPkgTokenSpaceGuid.PcdHpetBaseAddress ## CONSUMES
52 gPcAtChipsetPkgTokenSpaceGuid.PcdHpetLocalApicVector ## CONSUMES
53 gPcAtChipsetPkgTokenSpaceGuid.PcdHpetDefaultTimerPeriod ## CONSUMES
54
55[Depex]
56 gEfiCpuArchProtocolGuid
57[UserExtensions.TianoCore."ExtraFiles"]
58 HpetTimerDxeExtra.uni
Note: See TracBrowser for help on using the repository browser.

© 2024 Oracle Support Privacy / Do Not Sell My Info Terms of Use Trademark Policy Automated Access Etiquette