Yes. He is a major contributor to the Linux kernel, and unless I remember incorrectly, he was almost single handedly responsible for getting UEFI support in Linux.

Yeah, Linux. mjg (pbuh) is a kernel hacker.

I think he's a Linux kernel developer.