mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-23 15:32:25 +00:00
96ebed6c31
There are some subtle incompatibilities in VirtualBox 6 with settings we used in version 5. Therefore, the vbox6 package uses machine.vbox6 as configuration file. An example configuration is provided by the raw/vbox6 package. Issue #4281 |
||
---|---|---|
.. | ||
system_shell | ||
vbox5-nova-sculpt | ||
vbox6 |