/* SPDX-License-Identifier: BSD-2-Clause */
/*
 * Copyright (c) 2015, Linaro Limited
 */
#ifndef KERNEL_TA_PUB_KEY_H
#define KERNEL_TA_PUB_KEY_H

#include <types_ext.h>

extern const uint32_t ta_pub_key_exponent;
extern const uint8_t ta_pub_key_modulus[];
extern const size_t ta_pub_key_modulus_size;

#endif /*KERNEL_TA_PUB_KEY_H*/