Comment by snvzz

16 hours ago

Not presumably, but explicitly. Both in documentation and presentations by seL4 they consistently make a point to mention so.

0 comments