MicroOS is and will be its own cool thing AFAIK. I'm guessing they will provide a MicroOS based on Leap in the future.