Re: [seL4] CamkES support for waiting on multiple signals

Sun, 21 Jul 2019 20:18:54 -0700 

> I could not find any example using seL4NotificationQueue() or 
> seL4GlobalAsynchCallback(). 
> I found only the CamkES template. 
I don't believe seL4NotificationQueue is currently used anywhere. 
seL4GlobalAsynchCallback is used with some of the components in the system 
examples here: https://github.com/seL4/camkes-vm-examples
> Is there any tutorial on usage of these custom connectors that you have ?
You could look at the camkes picotcp example 
(https://github.com/seL4/camkes/blob/master/apps/picoserver/picoserver.camkes#L75)
 to see how seL4GlobalAsynchCallback is used to get multiple signals on a 
single thread.
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel

Reply via email to