diff options
| author | manuel <manuel@mausz.at> | 2012-03-27 11:51:08 +0200 |
|---|---|---|
| committer | manuel <manuel@mausz.at> | 2012-03-27 11:51:08 +0200 |
| commit | 4f670845ff9ab6c48bcb5f7bf4d4ef6dc3c3064b (patch) | |
| tree | 868c52e06f207b5ec8a3cc141f4b8b2bdfcc165c /pintos-progos/vm | |
| parent | eae0bd57f0a26314a94785061888d193d186944a (diff) | |
| download | progos-4f670845ff9ab6c48bcb5f7bf4d4ef6dc3c3064b.tar.gz progos-4f670845ff9ab6c48bcb5f7bf4d4ef6dc3c3064b.tar.bz2 progos-4f670845ff9ab6c48bcb5f7bf4d4ef6dc3c3064b.zip | |
reorganize file structure to match the upstream requirements
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 | ||