Index: arch/ppc32/src/mm/page.c
===================================================================
--- arch/ppc32/src/mm/page.c	(revision b524c5e0c4ab2be7669474ed11d7d797b4d5e53b)
+++ arch/ppc32/src/mm/page.c	(revision 078a0a1e251c250bb45a04e905be0063720202c3)
@@ -27,11 +27,13 @@
  */
 
-#include <arch/types.h>
 #include <arch/mm/page.h>
+#include <genarch/mm/page_pt.h>
 #include <arch/mm/frame.h>
 #include <mm/frame.h>
 #include <mm/page.h>
+#include <arch/types.h>
 
 void page_arch_init(void)
 {
+	page_operations = &page_pt_operations;
 }