This short walkthrough describes how to get the linux kernel version 3.9.0 (latest version at the moment of writing) working under Ubuntu Linux without having to compile it yourself.

This guide should work with the latest version of Ubuntu Linux and most Ubuntu-based distributions including Mint. The included kernel files have been compiled using the generic Ubuntu configuration.

Installation Guide

1. Download the kernel headers package: http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.9-raring/linux-headers-3.9.0-030900_3.9.0-030900.201304291257_all.deb
   
   And the appropriate package for your system
   • AMD64: http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.9-raring/linux-headers-3.9.0-030900-generic_3.9.0-030900.201304291257_amd64.deb
   • I386: http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.9-raring/linux-headers-3.9.0-030900-generic_3.9.0-030900.201304291257_i386.deb
   • ARMHF: http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.9-raring/linux-headers-3.9.0-030900-generic_3.9.0-030900.201304291257_armhf.deb
2. And the accompanying compiled kernel image:
   • AMD64: http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.9-raring/linux-image-3.9.0-030900-generic_3.9.0-030900.201304291257_amd64.deb
   • I386: http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.9-raring/linux-image-3.9.0-030900-generic_3.9.0-030900.201304291257_i386.deb
   • ARMHF: http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.9-raring/linux-image-3.9.0-030900-generic_3.9.0-030900.201304291257_armhf.deb
3. Install the files in the same order as downloaded above.
4. In the terminal run:
   
   sudo update-grub
5. Reboot and select the kernel from the bootloader menu

The source can be found on www.kernel.org

I will post the latest version of the 3.9 branch in comments below.

This guide explains how to install the Ubuntu Linux Kernel 3.7.0 on an ARM system using the ArmHardFloatPort.

Installation Guide

1. Download the kernel headers package;
   
   linux-headers-3.8.0-030800_3.8.0-030800.201302181935_all.deb
2. And the appropriate package for your system;
   
   linux-headers-3.8.0-030800-omap_3.8.0-030800.201302181935_armhf.deb
3. And the accompanying compiled kernel image;
   
   linux-image-3.8.0-030800-omap_3.8.0-030800.201302181935_armhf.deb
4. Install the files in the same order as downloaded above.
5. In the terminal run:
   
   sudo update-grub
6. Reboot and select the kernel from the bootloader menu

The source can be found on www.kernel.org