1 files changed, 0 insertions, 24 deletions
diff --git a/Vagrantfile b/Vagrantfile
deleted file mode 100644
index ff65b09..0000000
--- a/Vagrantfile
+++ /dev/null
@@ -1,24 +0,0 @@
-#-----------------------------------------------------------------------
-$bootstrap = <<BOOTSTRAP
-export DEBIAN_FRONTEND=noninteractive
-apt-get update && apt-get upgrade
-
-# install base development tools
-apt-get -y install build-essential
-apt-get -y install cmake valgrind gcc-arm-none-eabi
-
-BOOTSTRAP
-#-----------------------------------------------------------------------
-
-
-# Configuration
-Vagrant.configure("2") do |config|
-  config.vm.box = "debian/bullseye64"
-  config.vm.box_version = "11.20230615.1"
-
-  # (default timeout is 300 s)
-  config.vm.boot_timeout = 600
-
-  # set up the VM
-  config.vm.provision "shell", inline: $bootstrap
-end