1
2
3
4
5
6
7
8
9
10
11
12
13
| // /** @file
| // Installs OP-TEE based UEFI Random Number Generator protocol.
| //
| // Copyright (c) 2018, Linaro, Ltd. All rights reserved.<BR>
| //
| // SPDX-License-Identifier: BSD-2-Clause-Patent
| //
| // **/
|
|
| #string STR_MODULE_ABSTRACT #language en-US "Installs OP-TEE based UEFI Random Number Generator protocol"
|
| #string STR_MODULE_DESCRIPTION #language en-US "This driver installs UEFI Random Number Generator protocol based on OP-TEE library to interface with RNG service running in OP-TEE environment."
|
|
