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

No, that's a separate mechanism that is not merged yet. Cheers, Gerwin

On 9 Dec 2021, at 13:16, Jack Chen via Devel wrote:

Does this have anything to do with Time Protection, covert channel prevention?

Regards, Jack _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems