SlotDataUpdateDxe.inf 1.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748
  1. ## @file
  2. #
  3. # @copyright
  4. # Copyright 2018 - 2021 Intel Corporation. <BR>
  5. # Copyright (c) 2021, American Megatrends International LLC. <BR>
  6. #
  7. # SPDX-License-Identifier: BSD-2-Clause-Patent
  8. ##
  9. [defines]
  10. INF_VERSION = 0x00010005
  11. BASE_NAME = SlotDataUpdateDxeJunctionCity
  12. FILE_GUID = 98750E94-CCCB-45AA-9259-3CF7F8C43C33
  13. MODULE_TYPE = DXE_DRIVER
  14. VERSION_STRING = 1.0
  15. ENTRY_POINT = SlotDataUpdateEntry
  16. [sources]
  17. SlotDataUpdateDxe.c
  18. [LibraryClasses]
  19. BaseLib
  20. BaseMemoryLib
  21. MemoryAllocationLib
  22. DebugLib
  23. UefiBootServicesTableLib
  24. UefiDriverEntryPoint
  25. UefiRuntimeServicesTableLib
  26. UefiLib
  27. [Packages]
  28. MdePkg/MdePkg.dec
  29. MdeModulePkg/MdeModulePkg.dec
  30. WhitleySiliconPkg/WhitleySiliconPkg.dec
  31. WhitleySiliconPkg/CpRcPkg.dec
  32. WhitleySiliconPkg/SiliconPkg.dec
  33. WhitleyOpenBoardPkg/PlatformPkg.dec
  34. [Guids]
  35. [FixedPcd]
  36. gEfiCpRcPkgTokenSpaceGuid.PcdMaxCpuSocketCount
  37. [Protocols]
  38. gUbaConfigDatabaseProtocolGuid
  39. [Depex]
  40. gEfiPlatformTypeJunctionCityProtocolGuid