Index: arch/ppc32/src/mm/page.c
===================================================================
--- arch/ppc32/src/mm/page.c	(revision b524c5e0c4ab2be7669474ed11d7d797b4d5e53b)
+++ arch/ppc32/src/mm/page.c	(revision 263104be73a8ecd461f88defac229c671bd463fe)
@@ -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;
 }