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

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