On Sat, Jan 28, 2023 at 12:59 AM Martin Stein <[email protected]> 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/ _______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
