From a61dc2415fc2591c1e223804b10ed3d2d4fd0e1b Mon Sep 17 00:00:00 2001
From: Nikolaus Krismer <nikolaus.krismer@uibk.ac.at>
Date: Sat, 24 May 2014 23:50:21 +0200
Subject: [PATCH] added longmode handling
---
Vagrantfile | 7 ++++++-
1 file changed, 6 insertions(+), 1 deletion(-)
diff --git a/Vagrantfile b/Vagrantfile
index df172d34..67f789a2 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -15,11 +15,16 @@ else
end
Vagrant.configure(VAGRANTFILE_API_VERSION) do |config|
+ config.vm.boot_timeout = 600
+
# Hardware configuration
config.vm.provider "virtualbox" do |v|
v.name = (isLocalMode ? "isochrone-local" : "isochrone")
- v.cpus = 2
+# v.cpus = 2
v.memory = 3072
+ if ! isLocalMode
+ v.customize ["modifyvm", :id, "--longmode", "off"]
+ end
end
# Enable vagrant-cachier plugin
--
GitLab