Move user exception support into userprog.
[pintos-anon] / src / threads / loader.S
index 41289d1281f82ac3ccd6a62a2199f9ecbbaa2d8c..4e4fbb4c3e162ace5f0c0d6d1477a92d99e49bbd 100644 (file)
@@ -1,6 +1,5 @@
 #include "loader.h"
 #include "mmu.h"
-#include "gdt.h"
        
 ##############################################################################
 # Kernel loader.