--- a/kernel/src/kernel.c3	Fri Apr 18 13:08:45 2014 +0200
+++ b/kernel/src/kernel.c3	Sat Apr 26 17:41:56 2014 +0200
@@ -6,12 +6,13 @@
 import arch;
 import io;
 
+
 // Main entry point of the kernel:
 function void start()
 {
+    io.println("Welcome to lcfos!");
     arch.init();
 
-    io.println("Welcome to lcfos!");
 
     // process.init();
     memory.init();
@@ -19,7 +20,8 @@
     //Process proc = new process:Process();
 
     //scheduler:queue(proc);
-    while(true) {}
+    io.println("Kernel finished");
+    arch.halt();
 }
 
 // Called in total stress: