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?
Thanks
-Dan
> On Sep 20, 2016, at 6:46 PM, gernot.hei...@data61.
On 21 Sep 2016, at 9:07 , Daniel Wang 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 m
> On 21 Sep 2016, at 3:29 , Daniel Wang wrote:
>
> Hi all,
>
> I’m new to the capability concept of seL4. Please correct me if I’m wrong. My
> understand of the capability is that it is a reference to a chunk of memory
> that allocated for specific purpose. Say if I want to do IPC between two