Vinter Virtual Machine

Virtual machine with Vinter and its dependencies installed for Artifact Evaluation. Instructions for using the VM image are available at https://github.com/KIT-OSGroup/vinter/blob/master/artifact-evaluation/README.md

Our source code is available at https://github.com/KIT-OSGroup/vinter

Errata

Vinter in the published VM image does not work properly and tracing may fail with error messages like "could not disassemble instruction". To fix this, run the following commands in the virtual machine: cd ~/vinter && git pull origin master (or alternatively, cd ~/vinter && git fetch && git checkout 348f77131d17d88403df9f41abf828318288e45d).