Index: arch/ppc32/Makefile.inc
===================================================================
--- arch/ppc32/Makefile.inc	(revision b524c5e0c4ab2be7669474ed11d7d797b4d5e53b)
+++ arch/ppc32/Makefile.inc	(revision b2c92f33b5d4bbba5718f4b6fc40ccfbe054b6ca)
@@ -46,4 +46,9 @@
 CONFIG_OFW = y
 
+## Compile with hierarchical page tables support.
+#
+
+CONFIG_PAGE_PT = y
+
 ARCH_SOURCES = \
 	arch/$(ARCH)/src/console.c \
Index: arch/ppc32/src/mm/page.c
===================================================================
--- arch/ppc32/src/mm/page.c	(revision b524c5e0c4ab2be7669474ed11d7d797b4d5e53b)
+++ arch/ppc32/src/mm/page.c	(revision b2c92f33b5d4bbba5718f4b6fc40ccfbe054b6ca)
@@ -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;
 }