From 8ca1831daae0ddba7413972df97b846ef5d94f19 Mon Sep 17 00:00:00 2001 From: Jack Humbert Date: Sat, 4 Jun 2016 13:18:15 -0400 Subject: [PATCH] makes vagrant usable again --- util/Vagrantfile => Vagrantfile | 0 doc/VAGRANT_GUIDE.md | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) rename util/Vagrantfile => Vagrantfile (100%) diff --git a/util/Vagrantfile b/Vagrantfile similarity index 100% rename from util/Vagrantfile rename to Vagrantfile diff --git a/doc/VAGRANT_GUIDE.md b/doc/VAGRANT_GUIDE.md index 2127347d9d23..f7419ccda88a 100644 --- a/doc/VAGRANT_GUIDE.md +++ b/doc/VAGRANT_GUIDE.md @@ -4,7 +4,7 @@ This project includes a Vagrantfile that will allow you to build a new firmware ## Requirements -Using the `/util/Vagrantfile` in this repository requires you have [Vagrant](http://www.vagrantup.com/) as well as [VirtualBox](https://www.virtualbox.org/) (or [VMware Workstation](https://www.vmware.com/products/workstation) and [Vagrant VMware plugin](http://www.vagrantup.com/vmware) but the (paid) VMware plugin requires a licensed copy of VMware Workstation/Fusion). +Using the `/Vagrantfile` in this repository requires you have [Vagrant](http://www.vagrantup.com/) as well as [VirtualBox](https://www.virtualbox.org/) (or [VMware Workstation](https://www.vmware.com/products/workstation) and [Vagrant VMware plugin](http://www.vagrantup.com/vmware) but the (paid) VMware plugin requires a licensed copy of VMware Workstation/Fusion). *COMPATIBILITY NOTICE* Certain versions of Virtualbox 5 appear to have an incompatibility with the Virtualbox extensions installed in the boxes in this Vagrantfile. If you encounter any issues with the /vagrant mount not succeeding, please upgrade your version of Virtualbox to at least 5.0.12.