It provided a lot of lines of code, and it was the main contributor one year IIRC. But most of that was Hyper-V related code, to make Linux work better as a virtual machine guest over Windows.