Latest Linux kernel has baked-in support for more cutting-edge ARM and MIPS processors, adds hardware support for Xen paravirtualuzation The latest Linux kernel’s revision number may be 3.14, but ...