#ifndef __HOS_KERNEL_H__
#define __HOS_KERNEL_H__ __HOS_KERNEL_H__

#include "multiboot.h"

#define LINK_ADDRESS 0xC0000000

/* 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