We use a heavily patched version of the Linux 2.2.x kernel.
Files needed:
After downloading these files, you will need to follow the steps below. Note that I am assuming that you already know how to compile and install a Linux kernel, and have basic familiarity with UNIX.
Instructions:
Install the Linux 2.2.16 kernel in the usual place (/usr/src/linux is recommended).
Change into that directory. Uncompress our patchfile (splashkernel.patch), and move it to that directory. Apply the patches contained in our patchfile:
patch -p1 < splashkernel.patch
This will apply our patches to the kernel. There should be no errors. This list describes the kernel changes that were made.
Uncompress the realtime patch there is no need to install it. Obtain the file lsrt-r31.patch, it should be in the top directory of its directory tree. Apply that patch to the Linux kernel, on top of our patch:
patch -p1 < lsrt-r31.patch
This will apply the realtime patches on top of our patches. There will be two errors, both of which can be safely ignored:
Makefile the toplevel Makefile attempts to change the version number suffix, but we also have done this. This is just a cosmetic change, keep whichever you prefer.
include/asm-i386/param.h the variable HZ is changed from 100 to 1000, but we also have changed it from 100 to 1024. This is because other parts of the kernel behave strangely if the clock speed is not exactly 100 or 1024 (this is possibly a bug in some Linux drivers).
Build and install the kernel, as usual. Select whatever options you want. (At Splash, we use a tightly controlled configuration, so many variations of the options have not been tested.)
View a complete list of our kernel changes
Return to Splash Open Source Page