This repository has been archived on 2021-05-26. You can view files and clone it, but cannot push or open issues or pull requests.
OS/Vagrantfile

17 lines
548 B
Ruby
Executable File

# -*- mode: ruby -*-
# vi: set ft=ruby :
Vagrant.configure(2) do |config|
config.vm.box = "ubuntu/trusty64"
# Create a forwarded port mapping which allows access to a specific port
# within the machine from a port on the host machine. In the example below,
# accessing "localhost:8080" will access port 80 on the guest machine.
# config.vm.network "forwarded_port", guest: 80, host: 8080
config.vm.hostname = "pintosvm"
config.vm.provision "shell", path: "bootstrap.sh"
config.vm.synced_folder "./pintos-env", "/pintos-env"
end