Kernel source for Pixel and Pixel XL - View it on GitHub