From 8287abf63f00b60a134ede2fc5fa4fdc452edf99 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Sun, 28 Jan 2018 11:48:13 +0100
Subject: [PATCH] virtualbox.run: switch to vbox5

Issue #2658
---
 repos/ports/run/virtualbox.run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/ports/run/virtualbox.run b/repos/ports/run/virtualbox.run
index b35bb4d524..1c03e82168 100644
--- a/repos/ports/run/virtualbox.run
+++ b/repos/ports/run/virtualbox.run
@@ -3,7 +3,7 @@ set use_ps2 [have_spec ps2]
 set use_usb 0
 set use_serial 1
 
-set use_vbox4 1
+set use_vbox4 0
 set use_vbox5 [expr !$use_vbox4]
 
 # use_gui starts two VMs