// Shorthand definitions of various types
// used in the kernel
#ifndef TSOS_KTYPES
#define TSOS_KTYPES


typedef unsigned char uchar_t;
typedef unsigned short int u16_t;
typedef short int i16_t;
typedef char char_t;
typedef unsigned int uint_t;
typedef int int_t;


#endif