On Thu, Feb 27, 2014 at 4:09 PM, Peter Robinson <pbrobinson(a)gmail.com> wrote:
Current f20 actually has the 3.13.5 kernel but we don't currently
any form of exynos device because they don't currently support the unified
multi platform kernels we ship so you still need a soc specific kernel.
Ooops, my bad.