Index: arch/ia32/src/mm/page.c
===================================================================
--- arch/ia32/src/mm/page.c	(revision dc747e33f6f5d74c7d1b7b50fda3b2fabff8fa82)
+++ arch/ia32/src/mm/page.c	(revision 1a675955a140a3b614cb1280dfa395e1f3f1a12a)
@@ -28,4 +28,5 @@
 
 #include <arch/mm/page.h>
+#include <genarch/mm/page_pt.h>
 #include <arch/mm/frame.h>
 #include <mm/frame.h>
@@ -49,4 +50,6 @@
 
 	if (config.cpu_active == 1) {
+		page_operations = &page_pt_operations;
+	
 		dba = frame_alloc(FRAME_KA | FRAME_PANIC, ONE_FRAME);
 		memsetb(dba, PAGE_SIZE, 0);