| /* Copyright 2018 NXP | |
| * SPDX-License-Identifier: Apache-2.0 | |
| */ | |
| /** | |
| * \file a71ch_mbedtls_pi_config.h | |
| * | |
| * \brief Configuration options (set of defines for A71CH with Pi) | |
| * | |
| */ | |
| #ifndef MBEDTLS_CONFIG_A71X_PI_H | |
| #define MBEDTLS_CONFIG_A71X_PI_H | |
| /* Same configuration as that for running from PC */ | |
| #include <a71ch_mbedtls_x86_config.h> | |
| #endif /* MBEDTLS_CONFIG_A71X_PI_H */ |