Linux kernel source tree used by the Reference Platform project - View it on GitHub