I want to know if there is any Linux distribution with PREEMPT_RT kernel patch?

If not, is there any good tutorial on how to patch and compile a kernel with RT patch and how can I create kind of a dual boot of default Arch Linux kernel and my own kernel to boot into the same Linux instalation?

By the way, checking on my Android phone, I noticed that my Linux is Linux localhost #1 PREEMPT Sat Apr 6 01:32:41 EEST 2013 armv7l GNU/Linux, but I have a custom ROM installed on my phone, but I was wondering, are all Android phones patched with Linux PREEMPT kernel installed?

Edit: so, I have found a distribution with real time kernel called AP-Linux. Haven't tested it yet.


Debian provides the Linux kernel with an applied PREEMPT_RT patch. For example, to install the amd64 version:

# aptitude install linux-image-rt-amd64

Similarly, Ubuntu also provides a respective package in its Ubuntu Lucid repository:

# apt-get install linux-image-rt

Update: It looks like Ubuntu is no longer developing linux-image-rt packages.

The -preempt and -rt kernels are no longer being developed due to lack of support. Focus has instead turned to the -lowlatency and -realtime kernels, particularly for the the release of Ubuntu 11.04 Natty Narwhal. The long-term goal is to have -lowlatency in the official Ubuntu repositories, while maintaining -realtime in a dedicated PPA.

  • thanks :D I didn't know that, sadly I don't have any of those distros.. – Alko Apr 9 '14 at 7:22
  • Unfortunately, Ubuntu doesn't seem to have linux-image-rt-* in its repositories anymore. Do you know if there is a PPA that contains these Debian packages, or even a way to download the package off of the Debian repositories for manual installation? – Shahbaz Apr 15 '16 at 15:20
  • @Shahbaz It looks like Ubuntu has dropped the linux-image-rt package in new versions due to lack of support. – Vilhelm Gray Apr 15 '16 at 16:08
  • @Shahbaz It's possible to manually build and install a PREEMPT_RT patched kernel. You can find information on the PREEMPT_RT wiki: rt.wiki.kernel.org/index.php/Main_Page – Vilhelm Gray Apr 15 '16 at 16:14
  • @VilhelmGray, I know. I have one already, and it's as best configured as I my knowledge allows. I see a jitter of ~15us (which is fine) and occasional spikes of couple-hundreds of us. I wanted to try an already configured kernel in the hopes that people more experienced than me have come up with a better configuration. – Shahbaz Apr 15 '16 at 17:10

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.