diff --git a/Vagrantfile b/Vagrantfile
index 489591b61..b04a37677 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -69,6 +69,20 @@ Vagrant.configure("2") do |config|
   # documentation for more information about their specific syntax and use.
   #
   # Set privileged: false to run as vagrant user.
+
+  # Disable selinux, then reboot to apply the change
+  config.vm.provision "shell", inline: <<-SHELL
+      echo "cat > /etc/selinux/config << EOF
+SELINUX=disabled
+SELINUXTYPE=targeted
+EOF" | sudo -s
+      cat /etc/selinux/config
+  SHELL
+
+  # NOTE: Reboot to apply selinux change, requires the reload plugin:
+  #   vagrant plugin install vagrant-reload
+  config.vm.provision :reload
+
   config.vm.provision "shell", privileged: false, inline: <<-SHELL
     sudo ifup eth1
 
diff --git a/doc/source/development.rst b/doc/source/development.rst
index 233f7f31b..78b428a7a 100644
--- a/doc/source/development.rst
+++ b/doc/source/development.rst
@@ -12,6 +12,7 @@ First, ensure that Vagrant is installed and correctly configured to use
 virtual box. Also install the following vagrant plugins:
 
    vagrant plugin install vagrant-vbguest
+   vagrant plugin install vagrant-reload
 
 Note: if using Ubuntu 16.04 LTS, you may be unable to install any plugins. To
 work around this install the upstream version from www.virtualbox.org.