Fitlet: Linux: Kernel
From fit-PC wiki
Overview
The current release is based on a generic Ubuntu kernel 3.16.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.16_2015-12-01.zip 42e1e425728289908fa3ff782d1e2587 fitlet_kernel_3.16_2015-12-01.zip
Unzip the downloaded archive, it includes the following:
- linux_3.16.0.orig.tar.gz - mainline Linux 3.16.0 sources
- linux_3.16.0-51.69.diff - Ubuntu patch
- compulab.3.16.0-fitlet.diff - CompuLab patch
- config-3.16.0-51-compulab.fitlet - CompuLab config file
- Resulting .deb files are also included
Development
The kernel can be recompiled with necessary changes as described on Kernel development for x86 modules