Fitlet: Linux: Kernel
From fit-PC wiki
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