2.) Patch kernel with IPIPE, in this case we use 4.14.132 |
2.) Patch kernel with IPIPE, in this case we use 4.14.148 |
$ sudo wget https://www.kernel.org/pub/linux/kernel/v4.x/linux-4.14.132.tar.xz $ sudo tar xf linux-4.14.132.tar.xz $ sudo ln -sfv linux-4.14.132 linux $ sudo cp -aLv /path/to/this/RTAI-git-tree/ksrc/patches/v4.14.132/*.patch /usr/src/ |
$ sudo wget https://www.kernel.org/pub/linux/kernel/v4.x/linux-4.14.148.tar.xz $ sudo tar xf linux-4.14.148.tar.xz $ sudo ln -sfv linux-4.14.148 linux $ sudo cp -aLv /path/to/this/RTAI-git-tree/ksrc/patches/v4.14.148/*.patch /usr/src/ |
$ debian/configure 4.14.132 rtai amd64 |
$ debian/configure 4.14.148 rtai amd64 |
$ sudo dpkg -i rtai-modules-4.14.132_5.2.2_amd64.deb |
$ sudo dpkg -i rtai-modules-4.14.148_5.2.2_amd64.deb |