Buttered Manta AOKP 4.3.1 Rom for Google Nexus 10

currently building the AOKP manta kernel from source (stock). It is the kernel that will be installed if you just flash this as is. This is a perfectly fine daily driver, should be stable and safe across all devices.
If you are looking for better battery life, better performance during gaming, or even just more control over various settings at the kernel level then feel free to try one of the other great kernels offered for this device. I will not recommend one, I will recommend you try them all and see which works best for you.

That is my continuation of doing AOKP PUB Builds for the Nexus 10. PUB (Mission Unicorn Butter) aimed to deliver Linaro toolchain and different optimizations to the conventional AOKP build. My purpose is to simply continue these builds providing releases primarily based off current code. Current builds are using the most recent (2013.09) release of the 4.8 Toolchain. Builds utilizing O3, strict-aliasing, and different optimizations the place applicable.

Also Read Root Nexus 10 and Galaxy Nexus