#include #include #include void kmain(void *info) { char buf[20]; *(char*)0xB8000 = 'c'; //*(char*)(0xB8002 + 0x20'0000) = 'd'; itoa((long)info, buf, 16); //fb_init(1024, 768); serial_out_str(buf); }