On Sat, Jan 28, 2023 at 12:59 AM Martin Stein <martin.stein at 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! -- Dan Connolly http://www.madmode.com/