No, that's a separate mechanism that is not merged yet.
Cheers, Gerwin
On 9 Dec 2021, at 13:16, Jack Chen via Devel devel@sel4.systems 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