#ifndef RIVOS_TYPES_H #define RIVOS_TYPES_H /** * Define our standard types */ typedef unsigned char u8; typedef unsigned int u32; typedef u32 size_t; #endif