Fitlet: Linux: Kernel
From fit-PC wiki
Overview
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 fitlet_kernel_3.19_2015-12-16.zip 36773afc407e11307aaef25d72e06774 fitlet_kernel_3.19_2015-12-16.zip
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
Installation
Unzip the downloaded archive and install the kernel image and header files
$ unzip fitlet_kernel_3.16_2015-12-01.zip $ sudo dpkg -i fitlet_kernel_3.16_2015-12-01/linux-*.deb
Development
The kernel can be recompiled with necessary changes as described on Kernel development for x86 modules