Build EDK2 in vagrant box with GCC46

README.txt

# Creates a virtual machine and builds the EDK2 source
# VirtualBox and Vagrant must be installed first

vagrant box add base http://files.vagrantup.com/precise64.box
vagrant init
vagrant up
vagrant ssh
sudo apt-get update
sudo apt-get install build-essential git uuid-dev iasl
git clone https://github.com/curzona/edk2.git
make -C BaseTools
. edksetup.sh
build -a X64 -t GCC46 -p MdeModulePkg/MdeModulePkg.dsc