I have bad news; Do you know who is a major contributor to the Linux kernel? (It's Google)