diff --git a/mm/memory.c b/mm/memory.c
index f70a84ee..c6241d52 100644
--- a/mm/memory.c
+++ b/mm/memory.c
@@ -118,7 +118,7 @@ int mmu_init(void)
 	} else {
 		kputs("Unable to initialize the memory management subsystem\n");
 		while(1) { 
-			NOP8;
+			HALT;
 		}
 	}