/* 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 */