Fitlet: Linux: Kernel

From fit-PC wiki
Revision as of 11:36, 17 December 2015 by Irads (Talk | contribs) (Overview)

Jump to: navigation, search


The latest release is based on a generic Ubuntu kernel 3.19.0 with a few modifications made by CompuLab.

Download the kernel package for fitlet and ensure the integrity of the file:

$ md5sum

The downloaded archive includes the following:

  • linux_3.19.0.orig.tar.gz - mainline Linux 3.16.0 sources
  • linux_3.19.0-39.44.diff - Ubuntu patch
  • compulab.3.19.0-fitlet.diff - CompuLab patch
  • config-3.19.0-39-compulab.fitlet - CompuLab config file
  • Resulting .deb files are also included


Unzip the downloaded archive and install the kernel image and header files

$ unzip
$ sudo dpkg -i fitlet_kernel_3.16_2015-12-01/linux-*.deb


The kernel can be recompiled with necessary changes as described on Kernel development for x86 modules