ChaosKeyDxe.inf 1022 B

123456789101112131415161718192021222324252627282930313233343536373839404142
  1. ## @file
  2. # Device driver for the ChaosKey hardware random number generator.
  3. #
  4. # Copyright (c) 2016 - 2017, Linaro Ltd. All rights reserved.<BR>
  5. #
  6. # SPDX-License-Identifier: BSD-2-Clause-Patent
  7. #
  8. ##
  9. [Defines]
  10. INF_VERSION = 0x00010019
  11. BASE_NAME = ChaosKeyDxe
  12. FILE_GUID = 9A54122B-F5E4-40D8-AE61-A71E406ED449
  13. MODULE_TYPE = UEFI_DRIVER
  14. VERSION_STRING = 1.0
  15. ENTRY_POINT = EntryPoint
  16. UNLOAD_IMAGE = UnloadImage
  17. #
  18. # VALID_ARCHITECTURES = AARCH64 ARM EBC IA32 IPF X64
  19. #
  20. [Sources]
  21. ChaosKeyDriver.c
  22. ChaosKeyDriver.h
  23. ComponentName.c
  24. DriverBinding.c
  25. [Packages]
  26. MdePkg/MdePkg.dec
  27. [LibraryClasses]
  28. UefiBootServicesTableLib
  29. UefiDriverEntryPoint
  30. UefiLib
  31. [Protocols]
  32. gEfiRngProtocolGuid # PROTOCOL BY_START
  33. gEfiUsbIoProtocolGuid # PROTOCOL TO_START
  34. [Guids]
  35. gEfiRngAlgorithmRaw