Index: arch/ppc32/src/mm/frame.c
===================================================================
--- arch/ppc32/src/mm/frame.c	(revision d7d6385616e50c670385416db2ce5ce0ec9d47ec)
+++ arch/ppc32/src/mm/frame.c	(revision fe050b782a8daa5c00ef507564f23db6dc0704cc)
@@ -34,4 +34,8 @@
 void frame_arch_init(void)
 {
-	zone_create(0, config.memory_size >> FRAME_WIDTH, 1, 0);
+	/* First page is exception vector, 
+	 * second is 'implementation specific', evade it too
+	 */
+	zone_create(0, SIZE2FRAMES(config.memory_size), 2, 0);
+	frame_mark_unavailable(0, 2);
 }