Start work on program loading.

[pintos-anon] / src / Makefile.inc

diff --git a/src/Makefile.inc b/src/Makefile.inc
index 19b911c2e8f4ef264353d7bb29b8443ddf8f91d1..6ed310ea91b24035a12545a6d05456c9edcacaa8 100644 (file)
--- a/src/Makefile.inc
+++ b/src/Makefile.inc
@@ -5,6 +5,7 @@ VPATH := $(TOP_SRCDIR)/threads
 VPATH := $(VPATH):$(TOP_SRCDIR)/devices
 VPATH := $(VPATH):$(TOP_SRCDIR)/lib
 VPATH := $(VPATH):$(TOP_SRCDIR)/filesys
+VPATH := $(VPATH):$(TOP_SRCDIR)/userprog
 
 -include *.d
 
@@ -21,6 +22,7 @@ THREADS_SRC += switch.S               # Thread switch routine.
 THREADS_SRC += interrupt.c     # Interrupt core.
 THREADS_SRC += intr-stubs.S    # Interrupt stubs.
 THREADS_SRC += synch.c         # Synchronization.
+THREADS_SRC += paging.c                # Page tables.
 THREADS_SRC += palloc.c                # Page allocator.
 THREADS_SRC += malloc.c                # Subpage allocator.
 
@@ -43,6 +45,9 @@ FILESYS_SRC  = filesys.c      # Filesystem core.
 FILESYS_SRC += file.c          # Individual files.
 FILESYS_SRC += filesys-stub.c  # Stub helper code.
 
+# User process code.
+USERPROG_SRC  = addrspace.c    # Address spaces.
+
 # Objects.
 OBJECTS = $(patsubst %.c,%.o,$(patsubst %.S,%.o,$(SOURCES)))