paging finally works

src/kernel/main.cpp

@@ -1,6 +1,7 @@
 #include <stddef.h>
 #include <stdint.h>
 
+#include "kutil/memory.h"
 #include "console.h"
 #include "device_manager.h"
 #include "font.h"
@@ -15,8 +16,6 @@ extern "C" {
 	void kernel_main(popcorn_data *header);
 }
 
-inline void * operator new (size_t, void *p) throw() { return p; }
-
 /*
 console
 load_console(const popcorn_data *header)