RockOS/kernel/kmain.c

#include <lib/print.h>
#include <lib/stream.h>

void kernel_main(void) 
{
  extern print_stream_t vga_print_stream;
  extern print_stream_t* kout;
  kout = &vga_print_stream;
  kout->trunc();

  kprint("RockOS booting...");
}