These days Microsoft are a major contributor to the Linux kernel, though. Sure, they’re trying to hold onto the desktop but on the server they’ve pretty much switched camps.