Fitlet: Linux: Kernel

From fit-PC wiki
Jump to: navigation, search


The latest release is based on a generic Ubuntu kernel 4.4.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_4.4.0.orig.tar.gz - mainline Linux 4.4.0 sources
  • linux_4.4.0-21.37.diff - Ubuntu patch
  • compulab.4.4.0-fitlet.diff - CompuLab patch
  • config-4.4.0-21-generic.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_4.4_2016-07-31/linux-*.deb

Previous releases


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