Break GDT, TSS out of init.c, mmu.h.
[pintos-anon] / src / Makefile.inc
index 137beaab2a20a3f87111ed33174ebeca4d9abf8b..d6b9519edd9052672a8b97daedcabbea5de3b5d3 100644 (file)
@@ -16,7 +16,8 @@ ASFLAGS = -Wa,--gstabs+ $(INCLUDES) $(DEFINES)
 
 # Core kernel.
 THREADS_SRC  = start.S         # Must be linked first.
-THREADS_SRC += init.c          # Start-up code.
+THREADS_SRC += init.c          # Main program.
+THREADS_SRC += gdt.c           # GDT initialization.
 THREADS_SRC += thread.c                # Thread management core.
 THREADS_SRC += switch.S                # Thread switch routine.
 THREADS_SRC += interrupt.c     # Interrupt core.
@@ -55,7 +56,7 @@ OBJECTS = $(patsubst %.c,%.o,$(patsubst %.S,%.o,$(SOURCES)))
 
 all: diskimage.bin
 
-intr-stubs.S: $(TOP_SRCDIR)/threads/intr-stubs.pl
+intr-stubs.S: $(TOP_SRCDIR)/threads/intr-stubs.pl $(TOP_SRCDIR)/threads/gdt.h
        $< > $@
 
 kernel.lds.s: $(TOP_SRCDIR)/threads/kernel.lds.S $(TOP_SRCDIR)/threads/loader.h