[elternal_love]

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