kernel.cpp

#include <stddef.h>
#include <stdint.h>

#include <boot/utils.h>
#include <boot/video.h>

#if defined(__linux__)
/* warn */
#endif

#if !defined(__i386__)
/* TODO: we need to compile the code with a custom compiler */
#endif

Video video;

#if defined(__cplusplus)
extern "C" /* C linkage for k_early_init */
#endif
void k_early_init()
{
    video.init();
    video.puts("Init real mode: \n");
}

#if defined(__cplusplus)
extern "C" /* C linkage for k_main */
#endif
void k_main()
{
    while(1) { /* hang out for a while */ }
}