>I’m not a kernel expert—I’m learning out loud. The goal here isn’t a deep [...]
So I think it's safe to say they didn't contributed to the Linux kernel.