- Download kernel, unpack it, download patch, patch the kernel
cd /usr/src/kernels
wget https://www.kernel.org/pub/linux/kernel/v3.x/linux-3.12.33.tar.bz2
tar -jxf linux-3.12.33.tar.bz2
mv linux-3.12.33 linux-3.12.33-rt47
cd linux-3.12.33-rt47
wget https://www.kernel.org/pub/linux/kernel/projects/rt/3.12/patch-3.12.33-rt47.bz2
bzip2 -d patch-3.12.33-rt47.bz2
patch -p1 <patch-3.12.33-rt47
- Configure the kernel, enable CONFIG_PREEMPT_RT
- Compile, link and install the kernel
make
make modules_install install
- Reboot and select the new kernel