// Shorthand definitions of various types
// used in the kernel
#ifndef TSOS_KTYPES
#define TSOS_KTYPES
typedef unsigned char byte;
typedef unsigned short int u16;
typedef short int i16;
typedef unsigned int uint;
#endif