Linux kernel source tree for Essential Products devices - View it on GitHub