pintos-os.org Git - pintos-anon/blob - src/vm/Make.vars

   1 # -*- makefile -*-
   2
   3 os.dsk: DEFINES = -DUSERPROG -DFILESYS -DVM
   4 KERNEL_SUBDIRS = threads devices lib lib/kernel userprog filesys vm
   5 TEST_SUBDIRS = tests/userprog tests/vm tests/filesys/base
   6 GRADING_FILE = $(SRCDIR)/tests/vm/Grading
   7 SIMULATOR = --qemu