ArmGicDxe.inf 1.5 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758
  1. #/** @file
  2. #
  3. # Copyright (c) 2008 - 2010, Apple Inc. All rights reserved.<BR>
  4. # Copyright (c) 2012 - 2014, ARM Ltd. All rights reserved.<BR>
  5. #
  6. # This program and the accompanying materials
  7. # are licensed and made available under the terms and conditions of the BSD License
  8. # which accompanies this distribution. The full text of the license may be found at
  9. # http://opensource.org/licenses/bsd-license.php
  10. #
  11. # THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
  12. # WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
  13. #
  14. #**/
  15. [Defines]
  16. INF_VERSION = 0x00010005
  17. BASE_NAME = ArmGicDxe
  18. FILE_GUID = DE371F7C-DEC4-4D21-ADF1-593ABCC15882
  19. MODULE_TYPE = DXE_DRIVER
  20. VERSION_STRING = 1.0
  21. ENTRY_POINT = InterruptDxeInitialize
  22. [Sources.common]
  23. ArmGicDxe.c
  24. ArmGicCommonDxe.c
  25. GicV2/ArmGicV2Dxe.c
  26. [Packages]
  27. MdePkg/MdePkg.dec
  28. EmbeddedPkg/EmbeddedPkg.dec
  29. ArmPkg/ArmPkg.dec
  30. [LibraryClasses]
  31. ArmGicLib
  32. BaseLib
  33. UefiLib
  34. UefiBootServicesTableLib
  35. DebugLib
  36. PrintLib
  37. MemoryAllocationLib
  38. UefiDriverEntryPoint
  39. IoLib
  40. [Protocols]
  41. gHardwareInterruptProtocolGuid
  42. gEfiCpuArchProtocolGuid
  43. [FixedPcd.common]
  44. gArmTokenSpaceGuid.PcdGicDistributorBase
  45. gArmTokenSpaceGuid.PcdGicInterruptInterfaceBase
  46. gArmTokenSpaceGuid.PcdArmPrimaryCore
  47. [Depex]
  48. gEfiCpuArchProtocolGuid