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