Archived tweet #11881 from the @leastfixedpoint Twitter Archive

@DrDeeGlaze Well, I mean *if* that, yeah. But it doesn't have to be that way. Ocaps are a thing. I've often actually idly wondered what the PL that seL4 is the runtime for would look like...