"The underlying GNU/Linux operating system was upgraded. This release is based on the Debian Sid repository, as of April 7, 2014," reads the official changelog.
The Linux kernel has remained the same, 3.13.6, and this is one of the most recent ones available. It's very likely that the next development version will feature Linux kernel 3.14.
Read more ►