System call interface.

[pintos-anon] / src / threads / init.c

diff --git a/src/threads/init.c b/src/threads/init.c
index b099d02dd33ccbb8fb88889b821cde91ab772ad5..57f3cbe6646d65d66df3c3d233d5160c5e3cba63 100644 (file)
--- a/src/threads/init.c
+++ b/src/threads/init.c
@@ -19,6 +19,7 @@
 #include "vga.h"
 #ifdef USERPROG
 #include "exception.h"
+#include "syscall.h"
 #include "gdt.h"
 #include "tss.h"
 #endif
@@ -79,6 +80,7 @@ main (void)
   kbd_init ();
 #ifdef USERPROG
   exception_init ();
+  syscall_init ();
 #endif
 
   /* Start thread scheduler and enable interrupts. */