I am using with success the repository of new kernels[1]. I recall the day when there were two kernels. One stable and one unstable. So now there are 3.10, 3.13 (both generic and low latency), 3.14, 3.17 and a 3.18. Debian still runs 3.2 I think. Can someone clear the mess?
[1] http://linux-libre.fsfla.org/pub/linux-libre/freesh/
