I believe a proven correct micro kernel for a production system in smartphone scale is a sufficiently complex engineering task.