How to Install the Kernels in this directory

by RoboSavy. Last Update: May 2nd 2012

  1. This tutorial assumes you have already successfully installed the OS on your DMP device (Roboard or eBox).
    If you're looking for O/S installation instructions please see the eBox or Roboard websites or the RoboSavvy forum for DMP devices.
  2. If this is the first time you installed the OS, the OS default kernels usually don't have network access until you install a DMP kernel. Therefore we recommend you download the kernel file using another machine, put it on a PEN drive a copy it to the target machine (Roboard, Ebox, etc.) and then follow these instructions.
    This document does not aim to indicate which kernel file you should use for your device. To find out which kernel is appropriate for your device you should check the eBox or Roboard websites or the RoboSavvy forum.
    Once you have downloaded the kernel file onto a PEN drive, insert the PEN drive on your DMP device (eBox / Roboard) and follow the steps bellow.

Important: Kernel DEB packages must be installed through the command line as explained bellow. Attempting to install the DMP kernel through a Graphical Package Manager it will not work.

Boot the eBox / Roboard and open a Console window. Next type the following commands:
# sudo su

# dpkg -i [kernel file].deb

# update-initramfs -k [Kernel suffix] -c

For example for file:
the command would be:

   update-initramfs -k -c

To complete the process you need to run the following command:

# update-grub

Finally, Reboot the device


Checking the Correct Kernel is Loaded:

After rebooting you can check which kernel is loaded by opening a Console window and typing:

# uname -r

If the loaded kernel is not the one you just installed you may need to adjust the settings on your bootloader (please continue reading).
If the correct kernel is loaded you can stop here.

Explaining how to change which kernel is loaded on boot is beyond the purpose of this tutorial; we will only provide some tips bellow about how to do this on systems using GRUB2.
For other bootloaders we suggest that you Google by "[your distribution name] kernel selection timeout".

For systems with GRUB2 bootloader (used in Ubuntu 10.04 for example), you can select which Kernel to boot or configure the GRUB2 menu to appear on boot by doing one these procedures: