#include "lang/kio.h"

extern "C" {

void k_main()
{
    kprintf("Hi from k_main()!\n");
}

} /* extern "C" */