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
_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel