diff options
Diffstat (limited to 'pintos-progos/vm')
| -rw-r--r-- | pintos-progos/vm/.gitignore | 3 | ||||
| -rw-r--r-- | pintos-progos/vm/Make.vars | 7 | ||||
| -rw-r--r-- | pintos-progos/vm/Makefile | 1 |
3 files changed, 0 insertions, 11 deletions
diff --git a/pintos-progos/vm/.gitignore b/pintos-progos/vm/.gitignore deleted file mode 100644 index 6d5357c..0000000 --- a/pintos-progos/vm/.gitignore +++ /dev/null | |||
| @@ -1,3 +0,0 @@ | |||
| 1 | build | ||
| 2 | bochsrc.txt | ||
| 3 | bochsout.txt | ||
diff --git a/pintos-progos/vm/Make.vars b/pintos-progos/vm/Make.vars deleted file mode 100644 index e3c33a7..0000000 --- a/pintos-progos/vm/Make.vars +++ /dev/null | |||
| @@ -1,7 +0,0 @@ | |||
| 1 | # -*- makefile -*- | ||
| 2 | |||
| 3 | kernel.bin: 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 | ||
diff --git a/pintos-progos/vm/Makefile b/pintos-progos/vm/Makefile deleted file mode 100644 index 34c10aa..0000000 --- a/pintos-progos/vm/Makefile +++ /dev/null | |||
| @@ -1 +0,0 @@ | |||
| 1 | include ../Makefile.kernel | ||
