From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 14 Sep 2004 21:41:13 +0000 (+0000)
Subject: Remove obsolete vmware directory.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4b8e52d2a55bb0a4b3224879a7143be7d2d1101d;p=pintos-anon

Remove obsolete vmware directory.
---

diff --git a/src/vmware/bootdisk.pln b/src/vmware/bootdisk.pln
deleted file mode 100644
index f938675..0000000
--- a/src/vmware/bootdisk.pln
+++ /dev/null
@@ -1,8 +0,0 @@
-DRIVETYPE      ide
-#vm|VERSION           2
-#vm|TOOLSVERSION      0
-CYLINDERS      8
-HEADS         16
-SECTORS       63
-#vm|CAPACITY       8064
-ACCESS "bootdisk.bin" 0 8064
diff --git a/src/vmware/nachos.vmx b/src/vmware/nachos.vmx
deleted file mode 100755
index 2ad2f05..0000000
--- a/src/vmware/nachos.vmx
+++ /dev/null
@@ -1,23 +0,0 @@
-#!/usr/bin/vmware
-config.version = "6"
-virtualHW.version = 2
-displayName = ""
-gui.powerOnAtStartUp = FALSE
-apmSuspend = FALSE
-suspendToDisk = TRUE
-gui.exitAtPowerOff = FALSE
-hard-disk.enableIBR = FALSE
-gui.fullScreenResize = TRUE
-resume.repeatable = FALSE
-disable_acceleration = FALSE
-guestOS = "linux"
-ide0:0.present = TRUE
-ide0:0.deviceType = "plainDisk"
-ide0:0.fileName = "bootdisk.pln"
-gui.fullScreenAtPowerOn = FALSE
-redoLogDir = ""
-logging = TRUE
-debug = FALSE
-uuid.location = "56 4d 89 06 87 3f cf 97-13 c7 37 a8 10 ca e8 69"
-
-floppy0.present = "false"
diff --git a/src/vmware/nvram b/src/vmware/nvram
deleted file mode 100644
index 1f393a4..0000000
Binary files a/src/vmware/nvram and /dev/null differ