Xenomai realtime kernel (amd64)

Choose and copy and paste the following into a shell to install your kernel:

sudo apt-get install linux-image-xenomai.x86-amd64 	  # amd64

Note	There are only Xenomai kernels for Wheezy and Jessie not Stretch or Buster

RT-PREEMPT realtime kernel (amd64)

Debian Wheezy has an older RT-PREEMPT kernel.

This is installable with

sudo apt-get install linux-image-rt-amd64

Debian Jessie has now been backported to the Debian Stretch rt-preempt kernel

You need to add a line to your /etc/apt/sources.list file

sudo echo "deb http://ftp.uk.debian.org/debian/ jessie-backports main contrib non-free" \
 >> /etc/apt/sources.list

(You can change uk for whatever your geographic mirror location)

Then update apt and pull the kernel

sudo apt-get update
sudo apt-get install linux-image-rt-amd64

Debian Stretch and Buster repos contain rt-preempt kernels

Update apt and pull the kernel

sudo apt-get update
sudo apt-get install linux-image-rt-amd64

If you want to build your own kernel, see the Developing section for more details.