/*
 * Copyright (c) 2019, Arm Limited. All rights reserved.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 *
 */

#ifndef __TFM_HAL_DEVICE_HEADER_H__
#define __TFM_HAL_DEVICE_HEADER_H__

#ifdef CMSIS_device_header
#include CMSIS_device_header
#else
#include "cmsis.h"
#endif

#endif /* __TFM_HAL_DEVICE_HEADER_H__ */