Christian Helmuth 96ebed6c31 vbox6: use configuration from machine.vbox6 ... 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		2021-10-14 11:02:10 +02:00
..
api/noux	Move stubby to genode-world	2020-06-29 14:25:27 +02:00
pkg	vbox6: use configuration from machine.vbox6	2021-10-14 11:02:10 +02:00
raw	vbox6: use configuration from machine.vbox6	2021-10-14 11:02:10 +02:00
src	depot: update recipe hashes	2021-08-30 15:00:39 +02:00