Implemented paging

kernel/src/kernel.c

@@ -15,8 +15,6 @@ void kmain(void* ptr, uint32_t magic) {
 
 	// Serial console for debugging
 	serial_init(COM1);
-	// ESC[H moves cursor to (0,0), ESC[J clears from cursor to end of screen
-	// ESC[<x>m sets graphics mode, 0 - reset, 36 - cyan
 	debugf("\x1b[H\x1b[J\x1b[0mkern. \x1b[36m(serial console)\x1b[0m\n\n");
 
 	// VGA tty thingy
@@ -24,8 +22,8 @@ void kmain(void* ptr, uint32_t magic) {
 	tty_puts("kern.\n\n");
 
 	// Memory manager init
-	// pmm_init();
-	// vmm_init();
+	//pmm_init();
+	//vmm_init();
 
 	gdt_init();
 	isr_init();