MicroSun micro kernel implementation