On Sat, Jan 28, 2023 at 12:59 AM Martin Stein martin.stein@genode-labs.com wrote:
The USB-Devices part is the following:
<service name="ROM" label="usb_devices"> <child name="usb_devices_rom"/> </service>
I hope this helps you.
Yes! The VM boots and I see the debian installer screen! Thanks!