+++ /dev/null
-#/** @file\r
-#\r
-# Component description file for Timer module\r
-#\r
-# Copyright (c) 2009 - 2010, Apple Inc. All rights reserved.<BR>\r
-# This program and the accompanying materials\r
-# are licensed and made available under the terms and conditions of the BSD License\r
-# which accompanies this distribution. The full text of the license may be found at\r
-# http://opensource.org/licenses/bsd-license.php\r
-#\r
-# THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r
-# WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
-#\r
-#**/\r
-\r
-[Defines]\r
- INF_VERSION = 0x00010005\r
- BASE_NAME = ArmVeTimerDxe\r
- FILE_GUID = a73d663d-a491-4278-9a69-9521be3379f2\r
- MODULE_TYPE = DXE_DRIVER\r
- VERSION_STRING = 1.0\r
-\r
- ENTRY_POINT = TimerInitialize\r
-\r
-[Sources.common]\r
- SP804Timer.c\r
-\r
-[Packages]\r
- MdePkg/MdePkg.dec\r
- EmbeddedPkg/EmbeddedPkg.dec\r
- ArmPkg/ArmPkg.dec\r
- ArmPlatformPkg/ArmPlatformPkg.dec\r
-\r
-[LibraryClasses]\r
- BaseLib\r
- UefiRuntimeServicesTableLib\r
- UefiLib\r
- UefiBootServicesTableLib\r
- BaseMemoryLib\r
- DebugLib\r
- UefiDriverEntryPoint\r
- IoLib\r
-\r
-[Guids]\r
-\r
-[Protocols]\r
- gEfiTimerArchProtocolGuid\r
- gHardwareInterruptProtocolGuid\r
-\r
-[Pcd.common]\r
- gArmPlatformTokenSpaceGuid.PcdSP804TimerFrequencyInMHz\r
- gArmPlatformTokenSpaceGuid.PcdSP804TimerPeriodicInterruptNum\r
- gArmPlatformTokenSpaceGuid.PcdSP804TimerPeriodicBase\r
- gArmPlatformTokenSpaceGuid.PcdSP804TimerPerformanceBase\r
- gArmPlatformTokenSpaceGuid.PcdSP804TimerMetronomeBase\r
- gEmbeddedTokenSpaceGuid.PcdTimerPeriod\r
-\r
-[Depex]\r
- gHardwareInterruptProtocolGuid\r