linux-3.8.13-rtai4.0 (Kernel 3.8.13 patched with rtai-4.0 for the meka robot)