They also made ThreadX open source a few months back. Be interesting to see what else happens in the IoT area for Microsoft