"My intention was to use a minimum image with no UI but importantly the USB drivers/stack."
Sure. This is a common approach and default VMs examples of seL4 tutorials are exactly that: a kernel + busybox, so no UI. Still this is just Linux with a very big kernel... El mié., 19 oct. 2022 6:37, <james.hillma...@gmail.com> escribió: > Thanks everyone, really enjoy reading the discussion. Sorry for the lazy > untargetted use of the word Linux. My intention was to use a minimum image > with no UI but importantly the USB drivers/stack. > > I guess the key issue is what the best data rate I could hope for between > the VMs. > _______________________________________________ > Devel mailing list -- devel@sel4.systems > To unsubscribe send an email to devel-leave@sel4.systems > _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
