Okay, seems that both CyanogenMod and Cyanogen OS are dead, I thought it was only one of them.

So Microsoft did another miscalculation on that one.

It seems likely that Microsoft continues to push into Android with all things it releases for it. But how will they make money on that? Seems unclear.