With Virtual Machines, there are two operating systems involved: the host operating system (OS) and the guest OS. The host is your own native OS (probably Windows). The guest is the OS that runs “inside” the host. We provide a Linux guest OS in the 326 VM.
- Download and install Virtual Box for your host OS. Or, if you already had it installed, make sure you update to the latest version of VirtualBox before proceeding.
- Go to the 326 virtual machine download page . Save the .ova file from this link wherever you like. It’s about a 4GB file, so the download might take awhile.
- To import the virtual machine, open virtual box. Go File -> Import Appliance. Select the .ova file you just downloaded
- Select the newly created virtual machine. It will be called Ubuntu. Click start. If you get an error about “VT-x/AMD-V hardware acceleration”, you most likely need to enter your computer’s BIOS settings and enable virtualization. The details of that will vary depending on the model and manufacturer of your computer. If you get stuck, please see a consultant for help.
- The username and password for this machine are both Cos326. To launch the ocaml toplevel, select terminal. It is the second icon from the top on the left hand side menu. Run "utop" to start the ocaml toplevel. Enter "#quit" to quit.
- To shut down the virtual machine, close the window. It is recommended to usually select 'save the machine state' from the dropdown menu that appears. This will leave the machine in the same state next time you start it up. 'Send the shut down signal' is like shutting down the machine. 'Power off the machine' is like pulling the power on the machine and should usually be avoided.
- If you want to share files with your native system, first power off the machine. Then, go to Settings, and select Shared Folders. Select the plus button. In the dialog box, select a Folder Path. This is the folder on your host OS that you want to share with the guest OS. Check Auto-mount and Make Permanent; do not check Read-only. Make the Mount Point /home/Cos326. Click OK, then click OK again. When you start the VM again you should now have the new subdirectory in your home directory. It is shared between the host OS and the guest OS. You can use it to easily transfer files between the two.
- You'r done! you can now safly delete the .ova file to save space on you machine. You might be able to improve the performance of your VM by increasing the amount of memory or CPUs allocated to it, though it depends on how much your actual machine has available and what else you have running at the same time. With the VM shut down, try going in Virtual Box to Settings -> System, and tinkering with the Base Memory slider on the Motherboard tab, and the Processors slider on the Processor tab. Then bring up the VM again and see how it does. You might have to play around to find a sweet spot.