## @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
|
