#include <lib.h>
#include <serial.h>
void kmain(void *info) {
	char buf[20];
	*(char*)0xB8000 = 'c';
	*(char*)(0xB8002 + 0x20'0000) = 'd';
	itoa((long)info, buf, 10);
	serial_out_str(buf);
}