[throwaway12iii]

For the amount they make off community work, they contribute a tiny amount.

Right near the top of their list (in your link) they brag about contributing to Linux. Let's see how well their brag stacks up? Looking at the contribution reports on Linux, are AWS in the top 10?

AWS are not even on the list. https://twitter.com/ibrahimatlinux/status/768631239683158016...

[geofft]

Most of the companies on that list are hardware developers adding drivers for their own hardware, which generally benefits nobody other than their own customers. A five-line fix to scheduler performance is way more valuable to the community at large than ten thousand lines of code to support a 25GbE network card. (The 25GbE driver is hugely valuable to Amazon, though! And, depending on how you look at it, may well have been sponsored by Amazon by being a big customer of Linux in the datacenter.)

[throwaway12iii]

That is a bunch of bullshit and you know it. AWS have made a tiny contribution to Linux.