A Vagrantfile to install and configure the apparent zillions of tools and pacakges required to run and debug OS code for the 4IF Systèmes d'Exploitation Avancées (advanced OS) course

insa_4if_sea_joy_Vagrantfile

# -*- mode: ruby -*-
# vi: set ft=ruby :

# INSTRUCTIONS: 
# Install vagrant and virtualbox
#
# mkdir somewhere/sea
# cd $_
# vagrant plugin install vagrant-vbguest
# <copy this file into this the directory>
# git clone <your git sea repo>
# vagrant up
# vagrant ssh
# cd /sea
# develop easily

Vagrant.configure(2) do |config|
  config.vm.box = "debian/jessie64"
  config.vm.synced_folder "./sea", "/sea"
  config.vm.provision "shell", inline: <<-SHELL
    sudo apt-get update
    sudo apt-get -y install build-essential
    sudo apt-get -y install gcc-arm-none-eabi
    sudo apt-get -y install gdb-arm-none-eabi
    sudo apt-get -y install git
    sudo apt-get -y install pkgconf
    sudo apt-get -y install zlib1g-dev
    sudo apt-get -y install libglib2.0-dev
    sudo apt-get -y install libpixman-1-dev
    sudo apt-get -y install libfdt-dev

    git clone https://github.com/Torlus/qemu.git
    cd qemu
    git checkout -b raspberry origin/rpi
    ./configure --target-list="arm-softmmu"
    make

    echo "export PATH=/home/vagrant/qemu/arm-softmmu:$PATH" >> /home/vagrant/.bashrc
  SHELL
end