#ifndef __HOS_KERNEL_H__
#define __HOS_KERNEL_H__ __HOS_KERNEL_H__

#include "multiboot.h"

#define VIRT_OFFSET 0xC0000000
#define MAX_MODULES 16
#define MAX_MMAP 16

typedef unsigned int u32_t;
typedef unsigned short u16_t;
typedef unsigned char u8_t;

/* returns true to callee if we should jump to a real mode module */
int k_mbsave(mb_info_t *mbinfo, unsigned int mb_magic);

void k_init();

void isr();

#endif