User Tools

Site Tools


This is an old revision of the document!


You are expected to develop within a Linux environment, therefore you are asked to prepare a working Linux installation on your notebook/PC. A convenient way of using a Linux operating system without reinstalling a notebook/PC is to put it into a virtual machine. For this purpose we recommend VirtualBox, which is available as free open source tool and thus free of charge. Once, VirtualBox is installed on your notebook/PC, install a Linux distribution as a 'guest' system (aka virtual machine; virtual because the Operating system is running inside of an application, i.e. in this case VirtualBox). Regarding the Linux distribution, we recommend Linux Mint, due to its broad user base, ease of use, and lightweight desktop environments. In the following, we will discuss the installation of VirtualBox as well as the setup of Linux Mint as a guest system.

Downloading and Installing VirtualBox

Download the latest installer package for your notebook's/PC's operating system from the web page and install it. After the installation, we recommend to also download and install the so-called Extension Pack (also available from the web page), providing amongst others support for USB 2.0 (instead of 1.1 which is shipped with the standard installation package). For detailed installation instructions, please use VirtualBox's online manual. Another resource for help is YouTube, search terms like “virtualbox install” will most likely yield valuable serach results.

Setup of Linux Mint as a Virtual Machine

After VirtualBox has been installed on you local machine, you can start installing virtual machines inside of VirtualBox. In particular we will now install Linux Mint as a virtual machine. For that purpose we first have to download a Live DVD image of the distribution from the web page. These images are available for different desktop environments. We recommend the Xfce 64-bit version, due to its lightweight implementation. Please follow the instructions in this YouTube video, which shows a VirtualBox running on a Windows 7 host system and a Linux Mint being installed as a guest system. Here is another video, showing the general installation of Linux Mint but not in the context of VirtualBox or virtual machines in general, for that matter.

Installing the Guest Additions

Once Linux Mint is installed as a virtual machine, boot it up. It may very well be the case that the desktop resolution of the virtual machine is very small; worry not, this is about to change as we are to install the so called Guest Addtions. To do that, please follow the steps depicted in this YouTube video. Note that the YouTube video is based on a Mac OS X host where an OpenSuse Linux guest is installed. The steps, however, are the same, so please follow them. After a reboot, the desktop resolution of your Linux Mint guest should be maximized to fit your physical screen.

First Steps in Linux Mint

If you are a Linux user, you can skip this section. If your are not, and have indeed a Windows background, please continue reading. The Linux distributions

linux.1399478602.txt.gz · Last modified: 2014/05/07 16:03 by viennastar