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