Hi Damon, Thanks for the inputs. I could not find any example using seL4NotificationQueue() or seL4GlobalAsynchCallback(). I found only the CamkES template. Is there any tutorial on usage of these custom connectors that you have ? Regards yk On Wed, Jul 17, 2019 at 4:33 AM Lee, Damon (Data61, Kensington NSW) < Damon.Lee@data61.csiro.au> wrote:
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