Only destroy pages up to PHYS_BASE.
[pintos-anon] / src / userprog / Makefile.vars
1 DEFINES = -DUSERPROG -DFILESYS
2 SUBDIRS = threads devices lib lib/kernel userprog filesys