1 /* SPDX-License-Identifier: BSD-2-Clause */
2 /*
3  * Copyright (c) 2014, STMicroelectronics International N.V.
4  */
5 #ifndef SYS_TYPES_H
6 #define SYS_TYPES_H
7 
8 #include <types_ext.h>
9 
10 #endif /*SYS_TYPES_H*/
11