Switch the Vagrantfile default to use the arm32 runtime VM
-rw-r--r-- 28 .gitignore
-rw-r--r-- 3151 Vagrantfile
-rwxr-xr-x 2680 bootstrap-toolchain-vm.sh
drwxr-xr-x - doc
drwxr-xr-x - scripts
-rw-r--r-- 511 ssh_config
-rwxr-xr-x 273 vm_ssh