Skip to end of metadata
Go to start of metadata

We are maintaining a publicly available virtual machine image that can be used for development purposes if there is no readily available computer with a proper GNU/Linux installation. It should be noted, however, that the experience offered by virtualized environments is mostly underwhelming compared to that of a properly deployed system on a non-virtualized hardware.

The image can be downloaded from

Host system requirements

The minimal required version of VirtualBox on the host system is 5.0. The following minimal system requirements apply:

  • RAM: 4 GB
  • Free disk space: 16 GB
  • Number of logical CPU: 2

Deployed components

The following components are deployed in the image:

  • Full-featured Ubuntu-based OS with KDE desktop.
  • ARM GCC Embedded toolchain.
  • Core development tools (git, make, cmake, etc.).
  • Full LaTeX distribution (texlive-full).
  • Eclipse IDE.