[pdmccormick]

And just how much of the Linux Foundation budget goes to supporting kernel development? What percentage of core kernel developers are paid from the Foundation? As long as Linus is happy and productive, I suspect nothing much will change.