Index: kernel/arch/ppc32/include/mm/frame.h
===================================================================
--- kernel/arch/ppc32/include/mm/frame.h	(revision 0867321c69ae9c3f09757e7ced1c100a578f28e3)
+++ kernel/arch/ppc32/include/mm/frame.h	(revision e662a5f4f15083bb24a483054e771e47c59e9865)
@@ -42,7 +42,8 @@
 #ifndef __ASM__
 
-#include <arch/types.h> 
+#include <arch/types.h>
 
 extern uintptr_t last_frame;
+extern uintptr_t end_frame;
 
 extern void frame_arch_init(void);