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) < [email protected]> 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 > [email protected] > https://sel4.systems/lists/listinfo/devel >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
