--- a/kernel/kernel.c3	Fri Feb 20 14:25:35 2015 +0100
+++ b/kernel/kernel.c3	Fri Feb 20 15:47:54 2015 +0100
@@ -7,9 +7,6 @@
 import io;
 import debug;
 
-// Globals:
-var process.process_t* init_proc;
-
 
 // Main entry point of the kernel:
 function void start()
@@ -17,16 +14,10 @@
     io.println("Welcome to lcfos!");
     arch.init();
 
+    memory.init();
     process.init();
-    memory.init();
-
-    init_proc = process.create();
+    load_init_process();
 
-    // TODO: copy content into process??
-
-    io.print2("init address ", cast<int>(init_proc));
-
-    //scheduler:queue(proc);
     io.println("Kernel finished");
     panic();
 }
@@ -34,6 +25,16 @@
 // Called in total stress:
 function void panic()
 {
+    io.println("Kernel panic!");
     arch.halt();
 }
 
+function void load_init_process()
+{
+    var process.process_t* init_proc;
+    init_proc = process.create();
+    process.enqueue(init_proc);
+
+    io.print2("init address ", cast<int>(init_proc));
+}
+