denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

sculpt: add vbox5 generic package as option

Browse Source 
Fixes #3574
This commit is contained in:
Alexander Boettcher
2019-12-09 14:47:09 +01:00
committed by Christian Helmuth
parent 6e99f00f5c
commit 3011dc5876
2 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
repos/gems/recipes/pkg/sculpt-installation/archives
View File

@@ -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

3
repos/gems/run/sculpt/index
View File

@@ -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>