Hugo V.C. wrote:
> "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.hillman07(a)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(a)sel4.systems
> > To unsubscribe send an email to devel-leave(a)sel4.systems
> >
> >
So I was assuming the isolation between VMs are more assured using sel4. In
itself I am not worried if the VM is compromised. Perhaps I could get usb stack
ported natively...
_______________________________________________
Devel mailing list -- [email protected]
To unsubscribe send an email to [email protected]
