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;