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