This virtual machine contains following releases and its dependencies:

tinySTM++-0.9.0
tanger-0.7.0
stamp-tanger_tinystm-0.9.10.1

It should run with all VMware products and VirtualBox. A converter exists for use with KVM.

The image can be downloaded from the following location:

http://tm.inf.tu-dresden.de/files/tmvm.vmwarevm.tar.bz2

To login use tmvm as user. Neither for tmvm nor for root a password is required.

More information can be found in /home/tmvm/README.txt.