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 184.108.40.206-FXP #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.