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

Wed, 08 Dec 2021 18:17:51 -0800 

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

Regards,
Jack
_______________________________________________
Devel mailing list -- [email protected]
To unsubscribe send an email to [email protected]

Reply via email to