Binary kernel builds based on -rt branches of https://github.com/raspberrypi/linux/
Installing these builds can make your SD card non-bootable, so make sure to backup your current kernel build and any critical information on your SD card!
Go to https://github.com/BlokasLabs/rpi-kernel-rt/releases, download one of the releases and extract it to /, for example:
# Back up current kernel first.
sudo cp /boot/kernel.img /boot/kernel.img.bak
sudo cp /boot/kernel7.img /boot/kernel7.img.bak
# Download and extract RT kernel.
curl -L -J https://github.com/BlokasLabs/rpi-kernel-rt/archive/v4.14.91-rt49.tar.gz -o kernel-rt.tar.gz
sudo tar -xvf kernel-rt.tar.gz --strip 1 -C /
Set up the cross compiler toolchain as described on Install Toolchain section of https://www.raspberrypi.org/documentation/linux/kernel/building.md.
- Run
./build.sh
- Wait for ages
- The build result will be in build/ folder. build/lib contents should go to /lib/ and build/boot should go to /boot/ on the SD card.