You're mostly right, but this is incorrect. MS was the largest kernel contributor for a few days 10 years ago, but overall companies like Intel, Google, Oracle and IBM contribute a lot more.
https://lwn.net/Articles/936113/
You're mostly right, but this is incorrect. MS was the largest kernel contributor for a few days 10 years ago, but overall companies like Intel, Google, Oracle and IBM contribute a lot more.