From 3011dc5876d45c5b3f69745538516781c9142111 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Mon, 9 Dec 2019 14:47:09 +0100
Subject: [PATCH] sculpt: add vbox5 generic package as option

Fixes #3574
---
 repos/gems/recipes/pkg/sculpt-installation/archives | 1 +
 repos/gems/run/sculpt/index                         | 3 ++-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/repos/gems/recipes/pkg/sculpt-installation/archives b/repos/gems/recipes/pkg/sculpt-installation/archives
index d7df5d735..418fd937d 100644
--- a/repos/gems/recipes/pkg/sculpt-installation/archives
+++ b/repos/gems/recipes/pkg/sculpt-installation/archives
@@ -7,6 +7,7 @@ _/pkg/rom_filter
 _/pkg/rom_reporter
 _/pkg/nic_router-nat
 _/pkg/vbox5-nova-sculpt
+_/pkg/vbox5
 _/pkg/wm
 _/pkg/themed_wm
 _/pkg/themed_decorator
diff --git a/repos/gems/run/sculpt/index b/repos/gems/run/sculpt/index
index 73226db7b..26a69efc9 100644
--- a/repos/gems/run/sculpt/index
+++ b/repos/gems/run/sculpt/index
@@ -21,7 +21,8 @@
   </index>
 
   <index name="Virtual machines">
-    <pkg path="vbox5-nova-sculpt" info="VBox5 for running Linux"/>
+    <pkg path="vbox5" info="VBox5 for running Linux (generic version)"/>
+    <pkg path="vbox5-nova-sculpt" info="VBox5 for running Linux (NOVA version)" />
   </index>
 
 </index>