Ubuntu Linux Kernel 3.8 installation guide for ARM processors

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