// 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;
typedef unsigned int u32;
typedef int i32;

#endif