push

kernel/boot/startup.cc

@@ -8,7 +8,7 @@
 #include "../compiler/libc.h"
 #include "../debug/output.h"
 #include "../interrupt/handlers.h"
-
+#include "../memory/pageframealloc.h"
 extern "C" [[noreturn]] void kernel_init() {
 	// Setup and load Interrupt Description Table (IDT)
 	initInterruptHandlers();
@@ -16,7 +16,9 @@ extern "C" [[noreturn]] void kernel_init() {
 	// Initialize PICs
 	PIC::initialize();
 
-    // Call global constructors
+  PageFrameAllocator::init(); 
+
+  // Call global constructors
 	CSU::initializer();
 
     //Select 5th Segment in GDT. 5<<3 == 0x28