diff options
Diffstat (limited to 'fed33/Vagrantfile')
| -rw-r--r-- | fed33/Vagrantfile | 25 | 
1 files changed, 0 insertions, 25 deletions
| diff --git a/fed33/Vagrantfile b/fed33/Vagrantfile deleted file mode 100644 index c35f795..0000000 --- a/fed33/Vagrantfile +++ /dev/null @@ -1,25 +0,0 @@ -# -*- mode: ruby -*- -# vi: set ft=ruby : - -Vagrant.configure("2") do |config| - -  config.vm.box = "generic/fedora33" - -  config.vm.box_check_update = false - -  config.vm.network "public_network" - -   config.vm.provider "virtualbox" do |vb| -     vb.gui = false -     vb.memory = "2048" -   end - -  config.vm.provision "shell", inline: <<-SHELL -    sudo dnf update -    sudo dnf install -y vim make cmake ninja-build meson gcc tmux wget curl git -    sudo dnf install -y python3-pyelftools -    sudo dnf groupinstall "Development Tools" -    sudo dnf install libpcap-devel zlib-devel libfdt-devel openssl-devel -    sudo modprobe vfio-pci -  SHELL -end | 
