| 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 |
| Jens Wiklander | c6e2ead | 2018-11-09 13:29:03 +0100 | [diff] [blame] | 7 | #ifdef ARM32 |
| 8 | #define MBEDTLS_HAVE_INT32 |
| 9 | #endif |
| 10 | #ifdef ARM64 |
| 11 | #define MBEDTLS_HAVE_INT64 |
| 12 | #endif |
| Jens Wiklander | e789ada | 2018-11-05 21:06:50 +0100 | [diff] [blame] | 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 */ |