Index: kernel/arch/mips32/src/mm/frame.c
===================================================================
--- kernel/arch/mips32/src/mm/frame.c	(revision 691eb5227bb3faa6ab7918931f4c859c75819ec1)
+++ kernel/arch/mips32/src/mm/frame.c	(revision 2a1410df98c32461c561c508bb66eb359d9ec310)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup mips32mm	
+/** @addtogroup mips32mm
  * @{
  */
@@ -154,4 +154,5 @@
 			conf_frame = first;
 		
+		while (1);
 		zone_create(first, count, conf_frame, 0);
 		
@@ -221,5 +222,5 @@
 					if (ZERO_PAGE_VALUE != 0xdeadbeef)
 						avail = false;
-#if defined(lgxemul) || defined(bgxemul)
+#if defined(MACHINE_lgxemul) || defined(MACHINE_bgxemul)
 					else {
 						ZERO_PAGE_VALUE_KSEG1(frame) = 0xaabbccdd;