And if you happen to have a "paltry" $500k sitting around, feel free to send it in FreeBSD's direction. :-)
At a minimum, Linus. What would you pay him?
Edit: Interestingly he doesn't appear in the Linux Foundation's 990.
Other than Linus, the linux foundation doesn't really pay developers. They are just an advisory and steering board, doing a bit of marketing. Samsung contributes much more directly by actually paying for Tizen OS development.
Edit: As is also mentioned in the update to the article.
"Platinum membership is $500,000 per year."
"including fellow Platinum members IBM, Oracle, Intel, Fujitsu and Qualcomm Innovation Center"
So Linux Foundation is getting at least 3MM USD per year now.
7 platinums * $500k = $3,5MM
15 golds * $100k = $1,5MM
110 silvers * between $5k and $20k = between $550k and $2,2MM
Total = between 5,5MM and 7,2MM
LF pays for Linus and GregKH, and I'm sure a lot of other good work. It's hardly all of "Linux".