#ifndef K_BOOTSTRAP_H
#define K_BOOTSTRAP_H

#include "hos_types.h"
#include "multiboot.h"

extern "C" {

void k_bootstrap(mb_info_t * mb_info, u32_t mb_magic)
    __attribute__ ((noreturn));
void idle_loop()
    __attribute__ ((noreturn));

}

#endif