[seL4] Re: getKernelWcetUs: where does the 10us return value come from?

Hi Gerwin, Thanks for the clarification :) Hope someone will answer my second question (Rephrasing my question: is checkBudget part of the implementation of temporal partitioning, with +WCET for padding?) Regards, Jack