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

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...) to see how seL4GlobalAsynchCallback is used to get multiple signals on a single thread.