[Arie]

They provide the GPL sources and SDK to build the entire kernel or just custom modules. 3.10.x kernel, but still.

[dsr_]

So... you can build exactly what they supply, and possibly add-subtract kernel modules for a kernel so old that Android devices are more up-to-date?

I'm glad they're in compliance with the GPL now, anyway. They were remarkably resistant.