#include <vga.h>
#include <stdio.h>
#include <stdlib.h>
#include <serial.h>
 
void kernel_main() {
  kprintf("Hello, World!\n");
  dbgf("Hello serial World!\n");
  warn("test warning debug %d\n", 42);
  error("test error debug %d\n", 42);
  fixme("test fixme debug %d\n", 42);
}