This is just hypothetical, but would making management of pagetables/pagedirectories a low level literal operation hurt seL4's portability to other architectures that might not even use page tables?

I could be mistaken but I think there's some archs out there that only have software TLBs (openrisc IIRC among them)

Please forgive me if I'm mistaken but my recent question about memory abstraction reminded me about this.