Remove obsolete vmware directory.

diff --git a/src/vmware/bootdisk.pln b/src/vmware/bootdisk.pln
deleted file mode 100644 (file)
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 (executable)
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 (file)
index 1f393a4..0000000
Binary files a/src/vmware/nvram and /dev/null differ