Linux 3.10

Nuevo lanzamiento en la línea principal del Kernel de Linux (3.10) ha sido liberado y puesto a disposición de los desarrolladores en https://www.kernel.org