Linux kernel source tree as used by op-build for OpenPOWER firmware. This tree is always a small set of rebased patches on top of mainline (usually stable) - View it on GitHub