/*
 *
 * Copyright 2016 NXP
 * SPDX-License-Identifier: Apache-2.0
 */

#ifndef MBEDTLS_CONFIG_FRDM_K64F_H
#define MBEDTLS_CONFIG_FRDM_K64F_H

#include "a71ch_mbedtls_frdm_config.h"

#endif /* MBEDTLS_CONFIG_FRDM_K64F_H */