> I believe they also contribute a lot to the FreeBSD kernel.

They do not.