I think the interpretation is that red hat devs are over-represented in terms of ratios compared to market cap weighting of all companies contributing to linux or similiar

▲

Hasz 4 hours ago | parent [-]

basically. Comparing a company with google resources (and needs) is not really the same as RH resources (and needs). Basically, what percentage of rev/resources/profit/engineering headcount are you spending on linux?

	▲	saghm 3 hours ago \| parent [-]
		I don't feel like this answers the last part of my question: why would that be a useful metric? If the claim is that I should be concerned with the future of kernel development because of the future of Redhat, why should dollar amounts matter rather than directly inferring from proportion of the development they do independent of dollars?