## @file
#  Device driver for the OP-TEE based random number generator.
#
#  Copyright (c) 2018, Linaro Ltd. All rights reserved.<BR>
#
#  SPDX-License-Identifier: BSD-2-Clause-Patent
#
##

[Defines]
  INF_VERSION                    = 0x0001001A
  BASE_NAME                      = OpteeRngDxe
  MODULE_UNI_FILE                = OpteeRngDxe.uni
  FILE_GUID                      = 93A599F2-6D82-4FCC-9970-49BB013D695A
  MODULE_TYPE                    = DXE_DRIVER
  VERSION_STRING                 = 1.0
  ENTRY_POINT                    = OpteeRngEntry

#
#  VALID_ARCHITECTURES           = AARCH64 ARM
#

[Sources]
  OpteeRng.c

[Packages]
  ArmPkg/ArmPkg.dec
  MdePkg/MdePkg.dec
  Silicon/Socionext/SynQuacer/SynQuacer.dec

[LibraryClasses]
  OpteeLib
  TimerLib
  UefiBootServicesTableLib
  UefiDriverEntryPoint
  UefiLib

[Protocols]
  gEfiRngProtocolGuid                 # PROTOCOL BY_START

[Guids]
  gEfiRngAlgorithmRaw
  gOpteeRngTaGuid

[Depex]
  TRUE

[UserExtensions.TianoCore."ExtraFiles"]
  OpteeRngDxeExtra.uni