Stuff

kernel/paging.c

@@ -4,8 +4,8 @@
 void enable_paging() {
 	println("Enabling paging...", DEFAULT_COLOR);
 
-	extern int enable_paging_registers(); // Call the assembly SR
-	enable_paging_registers(); // and enable paging
+	// extern int enable_paging_registers(); // Call the assembly SR
+	// enable_paging_registers(); // and enable paging
 
 	return;
 }