So it seems that Microsoft has developed an embedded device OS distribution called ACS and that this OS is based on the Linux kernel.
http://azure.microsoft.com/en-us/blog/tag/azure-cloud-switch/
That’s kind of neat. They’ve been consuming Linux for quite some time. It’s nice to see that they’re producing some, too. Thank you for being productive members of this community, Microsoft!