[seL4] Re: new RFC: seL4 Device Driver Framework

On 18 Oct 2022, at 08:54, Peter Chubb mailto:peter.chubb@unsw.edu.au> wrote: In any case, for things like network receive, the multiplexor is going to have to do a copy, to preserve inter-component privacy. You can't share a common DMA area for receive buffers if you want to prevent Component A seeing component B's traffic. Not the multiplexer, that’s the job of a separate (optional) copying component in the lego set. Gernot