Hi yk,
I would like to know if the CamkES has support for wait on multiple signal events ?
CAmkES currently does not have support for waiting on multiple signal events on a single notification. It is however, possible to do so by creating a new CAmkES connector. You can take a look at the connectors that we currently have inside the camkes-tool repository and possibly the custom connectors we've made for some of our CAmkES components in the global-components respository (see camkes-tool/camkes/templates and global-components/templates).
I need to wait until one of these events occur. As soon as I get an event, I need to call a common function.
But in this case, I figure that the seL4NotificationQueue or the seL4GlobalAsynchCallback connector would be more useful for your use case here. You could have three separate "consume/emit" pairs and each of them can call a separate callback function when an event arrives. I hope this answers your questions. Sincerely, Damon