X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2FMakefile.inc;h=6ed310ea91b24035a12545a6d05456c9edcacaa8;hp=19b911c2e8f4ef264353d7bb29b8443ddf8f91d1;hb=8ca3547f6c4d6d01a76d3ce642a0c1bf884c4c2a;hpb=57f2be6df1ca51a22b41699a5f3e5a6671400d3d

diff --git a/src/Makefile.inc b/src/Makefile.inc
index 19b911c..6ed310e 100644
--- 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)))