// file: kerlnel.c

void kmain(void) {
  // Kernel main function
  // Set VGA memory address
  unsigned short *VGA_mem = (unsigned short *)0xB8000;

  VGA_mem[0] = (0x07 << 8) | 'S';
  VGA_mem[1] = (0x07 << 8) | 'O';
  VGA_mem[2] = (0x07 << 8) | 'R';
  VGA_mem[3] = (0x07 << 8) | 'A';
  VGA_mem[4] = (0x07 << 8) | ' ';
  VGA_mem[5] = (0x07 << 8) | 'O';
  VGA_mem[6] = (0x07 << 8) | 'S';
}