X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fthreads%2Finit.c;h=c8889f10abbe6af8b1bca6c8874adadb045678f8;hb=837e5b7fb902bd749106309ef76a5276c73ca34c;hp=8af05ece005e629237e3cd459560369e4cab4ca7;hpb=58b5b585e7efb4ce7ffc3d7374fb9f5afc601a0f;p=pintos-anon

diff --git a/src/threads/init.c b/src/threads/init.c
index 8af05ec..c8889f1 100644
--- a/src/threads/init.c
+++ b/src/threads/init.c
@@ -9,6 +9,7 @@
 #include <stdlib.h>
 #include <string.h>
 #include "devices/kbd.h"
+#include "devices/input.h"
 #include "devices/serial.h"
 #include "devices/timer.h"
 #include "devices/vga.h"
@@ -108,6 +109,7 @@ main (void)
   intr_init ();
   timer_init ();
   kbd_init ();
+  input_init ();
 #ifdef USERPROG
   exception_init ();
   syscall_init ();