kernel.c (407B)
1 #include "arch/x86/idt.h" 2 #include "arch/x86/gdt.h" 3 4 void kernel_main() 5 { 6 gdt_setup(); 7 idt_setup(); 8 9 char *vidmem = (char*) 0xb8000; 10 vidmem[0] = 'H'; 11 vidmem[2] = 'e'; 12 vidmem[4] = 'l'; 13 vidmem[6] = 'l'; 14 vidmem[8] = 'o'; 15 vidmem[10] = ' '; 16 vidmem[12] = 'W'; 17 vidmem[14] = 'o'; 18 vidmem[16] = 'r'; 19 vidmem[18] = 'l'; 20 vidmem[20] = 'd'; 21 22 while (1) { 23 } 24 }