...
Panel |
---|
wget --no-check-certificate https://www.rtai.org/RTAI/rtai-3.8.tar.bz2 |
We are going to switch the directory and unpack
Panel |
---|
cd /usr/src tar xvf rtai-3.5.tar.bz2 |
We have to download a new kernel from http://www.kernel.org/
The first three numbers in the kernel have to match the
first three numbers in the patch.
So we downloaded 2.6.23.1 kernel and we will use the 2.6.23 patch
Panel |
---|
*wget http://www.kernel.org/pub/linux/kernel/v2.6/linux-2.6.23.1.tar.gz* tar xvf linux-2.6.23.1.tar.gz |
Now we will aply the RTAI patch:
Panel |
---|
cd /usr/src/linux-2.6.23.1 patch -p1 -b < ../rtai-3.8/base/arch/i386/patches/hal-linux-2.6.23-i386-1.12-03.patch |
Then we make a copy of the configuration file to the root folder.
cp /boot/config-2.6.19-generic .config
Lets finally run the kernel configuration menu
make menuconfig CC=/usr/bin/gcc-3.4 CXX=/usr/bin/g++-3.4