1 /* SPDX-License-Identifier: BSD-2-Clause */
2 /*
3  * Copyright (c) 2015, Linaro Limited
4  */
5 #ifndef KERNEL_TA_PUB_KEY_H
6 #define KERNEL_TA_PUB_KEY_H
7 
8 #include <types_ext.h>
9 
10 extern const uint32_t ta_pub_key_exponent;
11 extern const uint8_t ta_pub_key_modulus[];
12 extern const size_t ta_pub_key_modulus_size;
13 
14 #endif /*KERNEL_TA_PUB_KEY_H*/
15 
16