1a97bc4a0SJens Wiklander /* SPDX-License-Identifier: BSD-2-Clause */ 2a97bc4a0SJens Wiklander /* Copyright (c) 2018, Linaro Limited */ 3e789ada3SJens Wiklander #ifndef __MBEDTLS_CONFIG_KERNEL_H 4e789ada3SJens Wiklander #define __MBEDTLS_CONFIG_KERNEL_H 5e789ada3SJens Wiklander 6e789ada3SJens Wiklander #ifdef CFG_CORE_MBEDTLS_MPI 7*c6e2ead3SJens Wiklander #ifdef ARM32 8*c6e2ead3SJens Wiklander #define MBEDTLS_HAVE_INT32 9*c6e2ead3SJens Wiklander #endif 10*c6e2ead3SJens Wiklander #ifdef ARM64 11*c6e2ead3SJens Wiklander #define MBEDTLS_HAVE_INT64 12*c6e2ead3SJens Wiklander #endif 13e789ada3SJens Wiklander #define MBEDTLS_BIGNUM_C 14e789ada3SJens Wiklander #define MBEDTLS_GENPRIME 15e789ada3SJens Wiklander #endif 16e789ada3SJens Wiklander 17e789ada3SJens Wiklander #include <mbedtls/check_config.h> 18e789ada3SJens Wiklander 19e789ada3SJens Wiklander #endif /* __MBEDTLS_CONFIG_KERNEL_H */ 20