https://www.linux.com – The 3.7 Linux kernel was released just in time for Christmas, gifting us with a host of enterprise-worthy and desktop user additions and improvements. Just in time for Christmas, the 3.7 Linux kernel was released on December 10, 2012, and brings with it 64-bit ARM support plus a multitude of improvements and changes. (Software)