On 21 Sep 2016, at 9:07 , Daniel Wang <danielwang....@gmail.com> 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
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel

Reply via email to