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 #define MBEDTLS_BIGNUM_C 8 #define MBEDTLS_GENPRIME 9 #endif 10 11 #include <mbedtls/check_config.h> 12 13 #endif /* __MBEDTLS_CONFIG_KERNEL_H */ 14