Re: [seL4] Questions about Capability model

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,

Re: [seL4] Questions about Capability model

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

Re: [seL4] Questions about Capability model

> 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

[seL4] Questions about Capability model

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 threads A and B, I will need to apply an chunk of memory as