Fitlet: Linux: Kernel

From fit-PC wiki
Revision as of 10:54, 31 July 2016 by Denis (Talk | contribs)

(change visibility) (diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Overview

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 fitlet_kernel_4.4_2016-07-31.zip
948a24d27e25f0bb38e70a18a37d1206  fitlet_kernel_4.4_2016-07-31.zip

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

Installation

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

$ unzip fitlet_kernel_4.4_2016-07-31.zip
$ sudo dpkg -i fitlet_kernel_4.4_2016-07-31/linux-*.deb

Previous releases

Development

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