Vagrantfile for machine setup.
Switch branches/tags
Nothing to show
Clone or download
Geoffrey Challen
Latest commit 278fe4a Feb 9, 2017
Type Name Latest commit message Commit time
Failed to load latest commit information.
i386 Getting close. Jan 11, 2017
shared Ensure shared directory is created. Jan 11, 2017
.gitignore Fixing. Jan 11, 2017
README.adoc Addition to the README to close PR. Feb 9, 2017
Vagrantfile Merge pull request #5 from ravikanthreddy89/master Feb 9, 2017


Vagrantfile for

This boots a VirtualBox VM containing a development environment that you can use to complete the programming assignments. Vagrant is a good option for Mac and Windows users. If you already have Ubuntu installed, you can add our PPA and install the toolchain natively using apt-get.


  1. (On Windows) Download Git for Windows. This includes a bash shell which you should use in lieu of the terrible Windows shell.

  2. (Required) If you already have VirtualBox installed, upgrade to the latest version.

  3. (Required) Install Vagrant

  4. (Suggested) Install two Vagrant plugins:

    1. vagrant plugin install vagrant-vbguest. This ensure that your VirtualBox Guest Additions are up to date.

    2. vagrant plugin install vagrant-timezone. This synchronizes time between your VM guest and host.

Note that these plugins may be required to get certain Windows systems to work.


vagrant up


  • The default user and hostname is trinity@zion.

  • The OS/161 toolchain is installed from the ops-class OS/161 toolchain PPA.

  • An up-to-date version of Git is also preinstalled.

  • The default machine configuration is fairly lightweight. You may want to beef it up a bit. Or not. sys161 is pretty lightweight itself.

  • You are encouraged virtual machine to your liking—​either by editing the Vagrantfile or by modifying the machine directly.

Known Problems and Workarounds for Windows

Missing MSVCR100.dll

If your vagrant up failed with empty error message like:

GitHub mascot

It’s probably because your Windows OS is missing the MSVCR100.dll file.


  1. Download MSVCR100.dll from based on your OS.

  2. Copy downloaded MSVCR100.dll to C:\Windows\System32\ or C:\Windows\SysWOW64\ based on your System version 32-bit/64-bit.

SSH Connection Issues in Windows Command Prompt

Symptom: vagrant ssh hangs while connecting.

Solution: Vagrant cannot connect over ssh using Windows Command Prompt. Please use Git Bash or Cygwin instead.

Windows Virtualization Issues

Symptom: vagrant up Hangs While Connecting


  1. Make sure virtualization is enabled in your BIOS.

  2. If Hyper-V is enabled, disable it. Vagrant cannot coexist with Hyper-V.

Symptom: ln: failed to create symbolic link …​

Solution: Windows requires users to have special privileges for creating symbolic links. Follow instructions listed here.