edk2/UefiCpuPkg/CpuTimerDxeRiscV64/CpuTimerDxeRiscV64.inf
Akshay Behl 34d609402b UefiCpuPkg/CpuTimerDxeRiscV64: Use DT based timer frequency in Timer driver
There is GetPerformanceCounterProperties() that relies
on Device Tree to fetch timer frequency and removes the
dependency from the PCDs, use that instead.

Signed-off-by: Akshay Behl <cap2k4@rivosinc.com>

Co-authored-by: Dhaval Sharma <dhaval@rivosinc.com>
2025-07-08 18:35:46 +00:00

56 lines
1.3 KiB
INI

## @file
# Timer Arch protocol module
#
# Copyright (c) 2019, Hewlett Packard Enterprise Development LP. All rights reserved.<BR>
#
# SPDX-License-Identifier: BSD-2-Clause-Patent
#
##
[Defines]
INF_VERSION = 0x0001001b
BASE_NAME = CpuTimerDxeRiscV64
MODULE_UNI_FILE = CpuTimerDxeRiscV64.uni
FILE_GUID = 055DDAC6-9142-4013-BF20-FC2E5BC325C9
MODULE_TYPE = DXE_DRIVER
VERSION_STRING = 1.0
ENTRY_POINT = TimerDriverInitialize
#
# The following information is for reference only and not required by the build
# tools.
#
# VALID_ARCHITECTURES = RISCV64
#
[Packages]
MdePkg/MdePkg.dec
UefiCpuPkg/UefiCpuPkg.dec
[LibraryClasses]
BaseLib
DebugLib
IoLib
CpuLib
UefiBootServicesTableLib
UefiDriverEntryPoint
TimerLib
[LibraryClasses.RISCV64]
RiscVSbiLib
[Sources.RISCV64]
Timer.h
Timer.c
[Pcd]
gEfiMdePkgTokenSpaceGuid.PcdRiscVFeatureOverride ## CONSUMES
[Protocols]
gEfiCpuArchProtocolGuid ## CONSUMES
gEfiTimerArchProtocolGuid ## PRODUCES
[Depex]
gEfiCpuArchProtocolGuid
[UserExtensions.TianoCore."ExtraFiles"]
CpuTimerDxeRiscV64Extra.uni