Comment by snvzz

3 months ago

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

0 comments