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

Back to the list