+ } elsif ($sim eq 'gsx') {
+ print "warning: VMware GSX Server doesn't support --$debug\n"
+ if $debug ne 'no-debug';
+ print "warning: VMware GSX Server doesn't support --no-vga\n"
+ if $vga eq 'none';
+ print "warning: VMware GSX Server doesn't support --terminal\n"
+ if $vga eq 'terminal';
+ print "warning: VMware GSX Server doesn't support jitter\n"
+ if defined $jitter;
+
+ open (VMX, ">pintos.vmx") or die "pintos.vmx: create: $!\n";
+ chmod 0777 & ~umask, "pintos.vmx";
+ print VMX "#! /usr/bin/vmware -G\n";
+ print VMX "config.version = 6\n";
+ print VMX "guestOS = \"linux\"\n";
+ print VMX "floppy0.present = FALSE\n";
+
+ if (! -e 'null.bin') {
+ open (NULL, ">null.bin") or die "null.bin: create: $!\n";
+ close (NULL);
+ }
+
+ for (my ($i) = 0; $i < 4; $i++) {
+ my ($dsk) = $disks[$i];
+ next if !defined $dsk;
+ $device = "ide" . int ($i / 2) . ":" . ($i % 2);
+
+ my ($pln) = $dsk;
+ $pln =~ s/\.dsk//;
+ $pln .= ".pln";
+
+ print VMX "\n$device.present = TRUE\n";
+ print VMX "$device.deviceType = \"plainDisk\"\n";
+ print VMX "$device.fileName = \"$pln\"\n";
+
+ my (%geom) = disk_geometry ($dsk);
+ open (PLN, ">$pln") or die "$pln: create: $!\n";
+ print PLN "DRIVETYPE ide\n";
+ print PLN "#vm|VERSION 2\n";
+ print PLN "#vm|TOOLSVERSION 2\n";
+ print PLN "CYLINDERS $geom{C}\n";
+ print PLN "HEADS $geom{H}\n";
+ print PLN "SECTORS $geom{S}\n";
+ print PLN "#vm|CAPACITY $geom{CAPACITY}\n";
+ print PLN "ACCESS \"$dsk\" 0 $geom{CAPACITY}\n";
+ close (PLN);
+ }
+ close (VMX);
+
+ use Cwd;
+ $vmx = getcwd () . "/pintos.vmx";
+ system ("vmware-cmd -s register $vmx >&/dev/null");
+ system ("vmware-cmd $vmx stop hard >&/dev/null");
+ system ("vmware -l -G -x -q $vmx");
+ system ("vmware-cmd $vmx stop hard >&/dev/null");
+ }