summaryrefslogtreecommitdiffstats
path: root/pintos-progos/vm
diff options
context:
space:
mode:
Diffstat (limited to 'pintos-progos/vm')
-rw-r--r--pintos-progos/vm/.gitignore3
-rw-r--r--pintos-progos/vm/Make.vars7
-rw-r--r--pintos-progos/vm/Makefile1
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 @@
1build
2bochsrc.txt
3bochsout.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
3kernel.bin: DEFINES = -DUSERPROG -DFILESYS -DVM
4KERNEL_SUBDIRS = threads devices lib lib/kernel userprog filesys vm
5TEST_SUBDIRS = tests/userprog tests/vm tests/filesys/base
6GRADING_FILE = $(SRCDIR)/tests/vm/Grading
7SIMULATOR = --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 @@
1include ../Makefile.kernel