Linux-RT?

Hello,

Does the Linux version currently on Reach devices use an RT-patched kernel?

TIA,
-Max

It uses Preempt kernel.