From 4ed68057aa09a32b594486dfd64dad55d7785f6e Mon Sep 17 00:00:00 2001
From: Krstan Vjestica <office@krletron.xyz>
Date: Wed, 29 Jul 2026 09:55:00 +0200
Subject: [PATCH] chore(vagrant): drop the libvirt provider, VirtualBox only

libvirt cannot share AMD-V with VirtualBox on one host, and every other Forail
Vagrant environment is VirtualBox -- see forail-dev-cluster
docs/TROUBLESHOOTING-vagrant.md.

Verified by destroying and rebuilding this VM from scratch on the virtualbox
provider.
---
 Vagrantfile | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/Vagrantfile b/Vagrantfile
index 8f50564..489c812 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -1,6 +1,11 @@
 # -*- mode: ruby -*-
 # vi: set ft=ruby :
 
+# VirtualBox is the only supported provider. libvirt/KVM is deliberately not
+# used here -- it cannot share AMD-V with VirtualBox on the same host, and the
+# other Forail environments are VirtualBox.
+ENV["VAGRANT_DEFAULT_PROVIDER"] ||= "virtualbox"
+
 Vagrant.configure("2") do |config|
   config.vm.box = "bento/ubuntu-24.04"
   config.vm.hostname = "forail-deploy"
@@ -18,11 +23,6 @@ Vagrant.configure("2") do |config|
     vb.cpus = 4
   end
 
-  config.vm.provider "libvirt" do |lv|
-    lv.memory = 8192
-    lv.cpus = 4
-  end
-
   config.vm.synced_folder ".", "/forail-deploy", type: "rsync",
     rsync__exclude: [".git/", "*.pyc", "__pycache__/"]