[dralley]

>Furthermore, Red Hat is the top commercial contributor to the Linux kernel

This is a little tricky to define. By line count or commit count, it usually isn't, however the "top" contributors by those metrics are often hardware vendors committing large quantities of auto-generated hardware definitions in the form of header files, such as the AMDGPU driver. Red Hat also employs a lot of subsystem maintainers, who don't contribute much code themselves, but whose work is still important.

So there's no perfect way to decide who is "top", exactly. I think top 3 would be fairly uncontroversial.