[seL4] Re: Use TimeServer by Group Components Questions

Thank you very much for your prompt reply. I want to create multiple threads which can be run with different periodic by using TimeServer. Sometimes, I think multiple threads that they share vspace by each other is a better solution than using ipc call, just like Linux threads. Is that the correct mechanism to use CAmkES? I think I have't fully understand the true purpose of CAmkES and I need to learn more about CAmkES.