#define uint8_t 	unsigned	char
#define uint16_t 	unsigned 	short
#define uint32_t 	unsigned 	long
#define uint64_t    unsigned    long long

#define int8_t 		signed		char
#define int16_t		signed		short
#define int32_t		signed		long
#define int64_t     signed      long long

#define size_t		uint64_t

extern uint32_t kernel_start;
extern uint32_t kernel_end;
#define HC_kernel_start ((uint32_t)&kernel_start-0xC0000000)
#define HC_kernel_end ((uint32_t)&kernel_end-0xC0000000)

#define OK "&gOK\n"
#define YES "&gYES\n"
#define NO "&rNO\n"