Simple Vagrantfile and a bootstrap script
-rw-r--r-- 28 .gitignore
-rw-r--r-- 3118 Vagrantfile
-rwxr-xr-x 2038 bootstrap-toolchain-vm.sh
drwxr-xr-x - doc