> Apparently, there were also shortcomings in L4 itself, or at least with respect to what HURD wants to do with its microkernel Yes, that was the issue as I re

> Apparently, there were also shortcomings in L4 itself, or at least with respect to what HURD wants to do with its microkernel Yes, that was the issue as I recall. But seL4 is an excellent, secure high-performance microkernel. If something is painful to do in L4, it will likely not be faster or more secure running under any other microkernel, and so you should arguably question the wisdom of what you're trying to do.