Now this should be complete

Added basic shell and fixed various bugs...now iceos should be
"complete".

kernel/kernel_main.c

@@ -9,21 +9,17 @@
 #include "drivers/gdt.h"
 #include "drivers/idt.h"
 #include "drivers/timer.h"
-#include "libc/stdio.h"
+#include "drivers/keyboard.h"
+#include "shell/shell.h"
 
 void kernel_main() {
     gdt_setup(); // Setup Global Descriptor Table
     idt_setup(); // Setup Interrupt Descriptor Table
 
     clear_prompt();
+    iceos_ascii_logo();
     init_prompt(); // Initialize frame buffer
-    //puts("Hello World!");
-    init_timer(1);
+    init_keyboard(); // Initialize keyboard driver
 
-    /*
-    // Testing some interrupts
-    asm("int $0"); // Division by zero
-    asm("int $4"); // Stack overflow
-    asm("int $1"); // Page fault 
-    */
+    // init_timer(1); // Only for debug purposes
 }