Standards Compliant MicroKernel