From 4d14ec6aa71f18e59bd83deae7b79288f6af73d5 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <lankes@lfbs.rwth-aachen.de>
Date: Fri, 8 Apr 2011 15:56:03 +0200
Subject: [PATCH] use HALT instead of NOP8

---
 kernel/main.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kernel/main.c b/kernel/main.c
index eae0ec05..d58d8ce7 100644
--- a/kernel/main.c
+++ b/kernel/main.c
@@ -111,7 +111,7 @@ int main(void)
 	reschedule();
 
 	while(1) { 
-		NOP8;
+		HALT;
 	}
 
 	return 0;