On 21 Sep 2016, at 9:07 , Daniel Wang <[email protected]> wrote: > > Thank you for your quick response. by producer-consumer I mean if a message > is sent to an EP and is received by another thread, is it gonna be consumed? > Is there a way to send broadcast message to multiple receiver to the same EP?
the IPC model is rendez-vous, synchronous message transfer. Broadcast a higher-level abstraction that has no place in a minimal microkernel. See also https://www.cse.unsw.edu.au/~cs9242/16/lectures/01-intro.pdf Gernot _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
