| Jens Wiklander | a97bc4a | 2018-05-18 15:49:22 +0200 | [diff] [blame] | 1 | /* SPDX-License-Identifier: BSD-2-Clause */ |
| 2 | /* Copyright (c) 2018, Linaro Limited */ | ||||
| Jens Wiklander | e789ada | 2018-11-05 21:06:50 +0100 | [diff] [blame^] | 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 */ | ||||