Implement debug console device

init/init.c

@@ -1,3 +1,4 @@
+#include <debugconsole.h>
 #include <kb.h>
 #include <limits.h>
 #include <process.h>
@@ -23,6 +24,8 @@ void receiver (void* arg) {
 }
 
 void app_main (void) {
+  debug_printf ("Init process is running. Starting user shell...\n");
+
   int ce_pid = exec ("RD", "ce");
   ce_pgid = get_procgroup (ce_pid);