Vagrantfile for hacking on OS/161

Vagrantfile-os161.rb

# -*- mode: ruby -*-

Vagrant.configure("2") do |config|
  # Ubuntu 14.04
  config.vm.box = "ubuntu/trusty64"

  # sync host repository with ~/cs161/os161 on virtual machine
  config.vm.synced_folder ".", "/home/vagrant/cs161/os161", :owner=> 'vagrant', :group=> 'vagrant'

  # forward host SSH agent
  config.ssh.forward_agent = true

  # install OS161 toolchain
  config.vm.provision "shell", inline: <<-SHELL
      add-apt-repository ppa:cs161/sp2017
      apt-get update
      apt-get install -y os161-toolchain
      chown -R vagrant:vagrant /home/vagrant/cs161
  SHELL
end