Forget lofty ideals about the open-source community: most Linux kernel code is written by paid developers at major corporations.