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