PlatInitDxe.inf 1.1 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152
  1. #/* @file
  2. # Copyright (c) 2017, Linaro Limited. All rights reserved.
  3. # Copyright (c) 2017, Marvell International Ltd. and its affiliates
  4. #
  5. # SPDX-License-Identifier: BSD-2-Clause-Patent
  6. #
  7. #*/
  8. [Defines]
  9. INF_VERSION = 0x00010019
  10. BASE_NAME = PlatInitDxe
  11. FILE_GUID = 8c66f65b-08a6-4c91-b993-ff81e0adf818
  12. MODULE_TYPE = DXE_DRIVER
  13. VERSION_STRING = 1.0
  14. ENTRY_POINT = ArmadaPlatInitDxeEntryPoint
  15. [Sources]
  16. PlatInitDxe.c
  17. [Packages]
  18. ArmPkg/ArmPkg.dec
  19. EmbeddedPkg/EmbeddedPkg.dec
  20. MdeModulePkg/MdeModulePkg.dec
  21. MdePkg/MdePkg.dec
  22. Silicon/Marvell/Marvell.dec
  23. [LibraryClasses]
  24. ArmadaBoardDescLib
  25. ArmadaIcuLib
  26. ArmSmcLib
  27. ComPhyLib
  28. DebugLib
  29. MppLib
  30. PcdLib
  31. TimerLib
  32. UefiDriverEntryPoint
  33. UtmiPhyLib
  34. [Guids]
  35. gEdkiiPlatformHasAcpiGuid
  36. gEfiEventReadyToBootGuid
  37. [FixedPcd]
  38. gMarvellTokenSpaceGuid.PcdProductManufacturer
  39. gMarvellTokenSpaceGuid.PcdProductPlatformName
  40. [Protocols]
  41. gMarvellPlatformInitCompleteProtocolGuid ## PRODUCES
  42. [Depex]
  43. TRUE