I have patched a linux kernel 3.2 with a rt patch and have then installed it. Now in the GRUB menu I am able to select the kernel and it also contains the suffix -rt. But I am still not sure if it actually has real time capabilities. Is there a way to find out if it is a real time kernel or an ordinary vanilla kernel? Further according to an example in rtwiki, which informs whether we are using a vanilla or a rt preempt kernel. I have patched a linux kernel 3.2 with a rt pat