Break GDT, TSS out of init.c, mmu.h.
[pintos-anon] / src / threads / loader.S
index 5a8eacde275eeab9017b69385987193567d77694..535c442c4f1f39a0d59cf43aa51c0e3cc8beee33 100644 (file)
@@ -1,5 +1,6 @@
-#include "mmu.h"
 #include "loader.h"
+#include "mmu.h"
+#include "gdt.h"
        
 ##############################################################################
 # Kernel loader.