From 7970899fd1dc96f921f9702b03fd07e3024a640d Mon Sep 17 00:00:00 2001
From: Stefan Lankes <lankes@lfbs.rwth-aachen.de>
Date: Tue, 17 May 2011 08:12:56 -0700
Subject: [PATCH] use HALT instead of NOP8

---
 mm/memory.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;
 		}
 	}