RockOS/kernel/kmain.c

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

#include <idt.h>

#include <stdint.h>

extern void init_idt();
extern idt_entry create_idt_entry(uint32_t addr, uint16_t segment, uint8_t attributes);

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...");

  init_idt();
}