Real Time Kernel for Debian Jessie?

I have LinuxCNC running on Debian 8.2 (Jessie) without the Real Time Kernel, so it runs in simulation mode only. It is on an old 32bit computer.

Has the real time kernel been pulled from the repository? When I am ready to use it to control a cnc machine, can I add the real time kernel then?

I do run Debian 8.2 with RT-PREEMPT Kernel and compiled linuxcnc from git source

I installed Jessie 8.2 amd64 with mate via netinstall
I added the machinekit repository and installed the RT-PREEMPT kernel from that repo.

Then I got the source from linuxcnc from github and installed it.

Meanwhile I udpated the kernel to be 4.1.15-rt-17 (I compiled it using the config from the machinekit kernel)

Now I am trying to solve the problem that there is no glade-gtk2 deb file for Jessie, I installed the UBUNTU one, it does run, but if I try to load gscreen or gmoccapy.glade it crashes.

So if you want to do your own glade panales, you will run into problems.

Norbert

OK I think I managed to get the RT Kernel installed.

I added the Debian Wheezy Main repository to sources.list and installed linux-image-rt-686-pae from there.

This is the one for a 32 bit machine? Correct?