Print statistics at power off.
[pintos-anon] / src / Makefile.build
index 1c92b77d2783b36e757626687b9fe06d5ca4c4b1..baf4d83d565384926de500522ea71518964a126d 100644 (file)
@@ -43,21 +43,24 @@ lib_kernel_SRC += lib/kernel/bitmap.c       # Bitmaps.
 lib_kernel_SRC += lib/kernel/hash.c    # Hash tables.
 lib_kernel_SRC += lib/kernel/console.c # printf(), putchar().
 
-# Filesystem code.
-filesys_SRC  = filesys/filesys.c       # Filesystem core.
-filesys_SRC += filesys/file.c          # Files.
-filesys_SRC += filesys/directory.c     # Directories.
-filesys_SRC += filesys/inode.c         # File headers.
-filesys_SRC += filesys/fsutil.c                # Utilities.
-
 # User process code.
-userprog_SRC  = userprog/addrspace.c   # Address spaces.
+userprog_SRC  = userprog/process.c     # Process loading.
 userprog_SRC += userprog/pagedir.c     # Page directories.
 userprog_SRC += userprog/exception.c   # User exception handler.
 userprog_SRC += userprog/syscall.c     # System call handler.
 userprog_SRC += userprog/gdt.c         # GDT initialization.
 userprog_SRC += userprog/tss.c         # TSS management.
 
+# No virtual memory code yet.
+#vm_SRC = vm/filename.c                        # Some file.
+
+# Filesystem code.
+filesys_SRC  = filesys/filesys.c       # Filesystem core.
+filesys_SRC += filesys/file.c          # Files.
+filesys_SRC += filesys/directory.c     # Directories.
+filesys_SRC += filesys/inode.c         # File headers.
+filesys_SRC += filesys/fsutil.c                # Utilities.
+
 SOURCES = $(foreach dir,$(SUBDIRS),$($(subst /,_,$(dir))_SRC))
 OBJECTS = $(patsubst %.c,%.o,$(patsubst %.S,%.o,$(SOURCES)))
 DEPENDS = $(patsubst %.o,%.d,$(OBJECTS))