System call interface.

[pintos-anon] / src / Makefile.inc

diff --git a/src/Makefile.inc b/src/Makefile.inc
index 9d929095583ee700d38edd600e87270ce2e44ce9..885c6bba53ccefb1fa7d464ca75e459f9cd5bfb2 100644 (file)
--- a/src/Makefile.inc
+++ b/src/Makefile.inc
@@ -51,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.