As I have Debian 8 running on my laptop, I have got some questions about making my OS a Real-Time one:Does the Debian GNU/Linux distribution have an official Real-Time version? (I found that the OS must be patched to run RT)Can I have two kernels on my system: a normal and a Real-Time one?From the perspective of an everyday programmer, what do RT kernels bring in matters of performance?I issued the uname command to know exactly my kernel version:youssef@debian-pc:~$ uname -aLinux debian-pc 3.16.0-4-amd64 #1 SMP Debian 3.16.7-ckt11-1+deb8u4 (2015-09-19) x86_64 GNU/Linux
Running a real time kernel on Debian
debian;linux kernel