System call interface.
[pintos-anon] / src / Makefile.inc
index bab467aca9339fac0d0976e18c2af7b153be782c..885c6bba53ccefb1fa7d464ca75e459f9cd5bfb2 100644 (file)
@@ -12,7 +12,7 @@ VPATH := $(VPATH):$(TOP_SRCDIR)/userprog
 
 WARNINGS = -Wall -W -Wstrict-prototypes -Wmissing-prototypes
 CFLAGS = -g -O3 -MMD -msoft-float $(WARNINGS) $(INCLUDES) $(DEFINES)
-ASFLAGS = -Wa,--gstabs+ $(INCLUDES) $(DEFINES)
+ASFLAGS = -Wa,--gstabs $(INCLUDES) $(DEFINES)
 
 # Core kernel.
 THREADS_SRC  = init.c          # Main program.
@@ -39,6 +39,7 @@ LIB_SRC += lib.c              # Standard C library.
 LIB_SRC += random.c            # Pseudo-random numbers.
 LIB_SRC += list.c              # Doubly-linked lists.
 LIB_SRC += bitmap.c            # Bitmaps.
+LIB_SRC += hash.c              # Hash tables.
 
 # Filesystem code.
 FILESYS_SRC  = filesys.c       # Filesystem core.
@@ -50,6 +51,7 @@ FILESYS_SRC += fsutil.c               # Utilities.
 # User process code.
 USERPROG_SRC  = addrspace.c    # Address spaces.
 USERPROG_SRC += exception.c    # User exception handler.
+USERPROG_SRC += syscall.c      # System call handler.
 USERPROG_SRC += gdt.c          # GDT initialization.
 USERPROG_SRC += tss.c          # TSS management.