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