Hi everyone,
I tried the new 3.18 rt kernels for Raspberry Pi A+\B+ as well as new Raspberry Pi 2.
Kernel for Raspberry Pi A+\B+ seems to work okay.
Kernel for Raspberry Pi 2 has a problem - it freezes without any message (even with debug information enabled) when some process is run on cpu0 with priority <= -51, which is probably caused by the FIQ USB driver. Non-FIQ USB driver does not boot with an error.
If anyone wants to play with rt kernels for old and new RPis here's the patched source code with configs for rt -
https://github.com/Clouded/linux-rt-rpi2