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

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

diff --git a/kernel/tasks.c b/kernel/tasks.c
index 144026fc..3f7a1b7a 100644
--- a/kernel/tasks.c
+++ b/kernel/tasks.c
@@ -104,7 +104,7 @@ static void NORETURN do_exit(int arg) {
 	
 	kputs("Kernel panic: scheduler found no valid task\n");
 	while(1) {
-		NOP8;
+		HALT;
 	}
 }