The Okl4 kernel in iPhones is extremely limited in its functionality, you could probably run that code even without an Os. It could also be argued if in its current form it is really a microkernel. Furthermore, sel4 and okl4 are not the same product.

(nothing bad on sel4, I have used it myself and I personally know the people behind the project. But it's not what you think it is)