Last modified 2 years ago Last modified on 07/16/15 20:16:44

Instructions for configuring a VirtualBox VM on your laptop

You will need the VirtualBox software and a minimum of 10 GB of free disk space. If you're using Linux, your distribution may already have the package. For other systems, install VirtualBox from

Copy the provided virtual disk image (ppaml2015.vdi) from the USB media to your hard drive. This image contains all of the PPAML software within a bootable Linux system. The USB drive also contains ppaml2015.vdi.md5 which contains the MD5 hash of the vdi file. This can be used to check file integrity after copying

md5sum -c ppaml2015.vdi.md5

Note for Windows users: Your Windows OS may have Microsoft Hyper-V installed, which can conflict with VirtualBox due to contention for the CPU's virtualization capabilities. If you find that VirtualBox cannot create a 64-bit VM, or runs extremely slowly, then try using Hyper-V if it already exists on your system. You can convert the vdi file to Hyper-V's disk format using:

# Windows users: convert to Hyper-V if VirtualBox does not work 
VBoxManage clonehd ppaml2015.vdi ppaml-hyperv.vhd --format VHD

Create a new VM in VirtualBox

In VirtualBox, click the New button to create a new virtual machine. You can give the VM any name.

Set up the VM

Complete the dialog boxes as shown in the following screen shots. Different versions of VirtualBox have slightly different dialog boxes or group several dialogs together.

Be sure to use an existing hard drive image, and select the vdi file you copied earlier from the USB media.

Note that we recommend a minimum of 4096 MB of memory, and more if possible. You must leave enough RAM for your host OS.

After creating the VM, click 'Settings' to adjust the VM settings

You can allocate more CPUs to the VM to boost the performance.

With proper hardware acceleration enabled, the VM will run at nearly native system speed.

Save the settings and start the VM

Click the Start button to boot the VM. Log in as peval (password peval)

Share clipboard with the host OS

VirtualBox lets you share the clipboard with the host operating system. You can find this option under the VirtualBox menu, while the VM is running. This is easier to find when the VM is running in non-full screen mode.

The system is ready to use!

The primary menu is in the bottom left corner (terminal prompt, etc). You can use the Eclipse shortcut on the desktop to start the Eclipse IDE.

Figaro basics

From the terminal:

cd $HOME/packages/SummerSchool
less README.txt

Files from Challenge Problem 4

cd $HOME/git/ppaml-cp4