missing include

Author: cfenollosa

21-shell/kernel/kernel.c

@@ -1,15 +1,14 @@
 #include "../cpu/isr.h"
 #include "../drivers/screen.h"
 #include "kernel.h"
+#include "../libc/string.h"
 
 void main() {
     isr_install();
     irq_install();
 
     kprint("Type something, it will go through the kernel\n"
         "Type END to halt the CPU\n> ");
-
-    // Do we need an infinite loop here?
 }
 
 void user_input(char *input) {