/*
 * Copyright 2018 NXP
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */


#ifndef _TZM_CONFIG_H_
#define _TZM_CONFIG_H_

/***********************************************************************************************************************
 * Definitions
 **********************************************************************************************************************/



/***********************************************************************************************************************
 * API
 **********************************************************************************************************************/

#if defined(__cplusplus)
extern "C" {
#endif

/* Initialize TrustZone */
void BOARD_InitTrustZone();

#if defined(__cplusplus)
}
#endif

/*!
 * @}
 */
#endif /* _TZM_CONFIG_H_ */

/***********************************************************************************************************************
 * EOF
 **********************************************************************************************************************/