/*
 * Fix faulty newlib types!
 * Note: only ever include this file via gcc's -include command line flag!
 */
#ifndef _TYPEFIX_H
#define _TYPEFIX_H

/* NickP: override int32_t / uint32_t types, because newlib defaults to using longs */

#define _INT32_T_DECLARED 1
#undef  __INT32_TYPE__
#define __INT32_TYPE__ int
typedef int int32_t;

#define _UINT32_T_DECLARED 1
typedef unsigned int uint32_t;
#undef  __UINT32_TYPE__
#define __UINT32_TYPE__ unsigned int

#endif
