Also: GNU Linux-libre version 3.10 is now supported as a long-term kernel, until September 2015. The previous long-term kernel (3.4) remains supported for about another year, until October 2014.