From 42ff902576718cceb43ab609123d919dfb57aad0 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Fri, 15 Oct 2021 12:17:05 +0200
Subject: [PATCH] vbox6: settings version 1.18-genode in machine.vbox6

At least the audio backend depends on the correct .vbox settings version
for VirtualBox 6.1 which is 1.18 as of VirtualBox.xidl.
---
 repos/ports/recipes/raw/vbox6/machine.vbox6 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/ports/recipes/raw/vbox6/machine.vbox6 b/repos/ports/recipes/raw/vbox6/machine.vbox6
index e93ea98398..e8df5bebcd 100644
--- a/repos/ports/recipes/raw/vbox6/machine.vbox6
+++ b/repos/ports/recipes/raw/vbox6/machine.vbox6
@@ -1,5 +1,5 @@
 <?xml version="1.0"?>
-<VirtualBox xmlns="http://www.virtualbox.org/" version="1.14-freebsd">
+<VirtualBox xmlns="http://www.virtualbox.org/" version="1.18-genode">
   <Machine uuid="{37ab43a5-38d8-4491-93f5-5b0b077f5c32}" name="ubuntu_16_04_64" OSType="Ubuntu_64" snapshotFolder="Snapshots" lastStateChange="2018-01-23T18:40:00Z">
     <MediaRegistry>
       <HardDisks>