Break TSS out of GDT.

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

diff --git a/src/threads/init.c b/src/threads/init.c
index b70c16c43bee2046f4b134427dc60e811953b4e5..a3ab43d577c5d6a98bd629883c7f1e84c840034e 100644 (file)
--- a/src/threads/init.c
+++ b/src/threads/init.c
@@ -17,6 +17,7 @@
 #include "serial.h"
 #include "thread.h"
 #include "timer.h"
+#include "tss.h"
 #include "vga.h"
 #ifdef FILESYS
 #include "filesys.h"
@@ -74,6 +75,7 @@ main (void)
   /* Initialize memory system. */
   palloc_init ();
   paging_init ();
+  tss_init ();
   gdt_init ();
   malloc_init ();