Microkernel isn't exactly the most secure model around. Its purpose was never to be secure, so much as it was made to experiment with 1) the potential of Rust 2) something like the ``everything is a file'' logic of Plan9 except with URL's and less needlessly elitist.