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