XenIoPciDxe.inf 846 B

123456789101112131415161718192021222324252627282930313233343536373839
  1. ## @file
  2. # Driver for the virtual Xen PCI device
  3. #
  4. # Copyright (C) 2015, Linaro Ltd.
  5. #
  6. # SPDX-License-Identifier: BSD-2-Clause-Patent
  7. #
  8. ##
  9. [Defines]
  10. INF_VERSION = 0x00010005
  11. BASE_NAME = XenIoPciDxe
  12. FILE_GUID = cf569f50-de44-4f54-b4d7-f4ae25cda599
  13. MODULE_TYPE = UEFI_DRIVER
  14. VERSION_STRING = 1.0
  15. ENTRY_POINT = XenIoPciDeviceEntryPoint
  16. [Packages]
  17. MdePkg/MdePkg.dec
  18. OvmfPkg/OvmfPkg.dec
  19. [Sources]
  20. XenIoPciDxe.c
  21. [LibraryClasses]
  22. UefiDriverEntryPoint
  23. UefiBootServicesTableLib
  24. MemoryAllocationLib
  25. BaseMemoryLib
  26. BaseLib
  27. UefiLib
  28. DebugLib
  29. [Protocols]
  30. gEfiDriverBindingProtocolGuid
  31. gEfiPciIoProtocolGuid
  32. gEfiComponentName2ProtocolGuid
  33. gEfiComponentNameProtocolGuid
  34. gXenIoProtocolGuid