[  968.706518] I-pipe: head domain RTAI registered.
[  968.706532] RTAI[hal]: compiled with gcc version 4.7.2 (Debian 4.7.2-5) .
[  968.706610] RTAI[hal]: mounted (IPIPE-NOTHREADS, IMMEDIATE (INTERNAL IRQs DISPATCHED), ISOL_CPUS_MASK: 0).
[  968.706620] SYSINFO: CPUs 2, LINUX APIC IRQ 2312, TIM_FREQ 12493919, CLK_FREQ 2998532000, CPU_FREQ 2998532000
[  968.706628] RTAI_APIC_TIMER_IPI: RTAI DEFINED 2314, VECTOR 2314; LINUX_APIC_TIMER_IPI: RTAI DEFINED 2312, VECTOR 2312
[  968.706636] TIMER NAME: lapic; VARIOUSLY FOUND APIC FREQs: 12493919, 12493919, 12424000
[  968.718891] RTAI[malloc]: global heap size = 2097152 bytes, <BSD>.
[  968.718950] , <uses LINUX SYSCALLs>, kstacks pool size = 524288 bytes.
[  968.718959] RTAI[sched]: hard timer type/freq = APIC/12493919(Hz); default timing: oneshot; linear timed lists.
[  968.718965] RTAI[sched]: Linux timer freq = 250 (Hz), TimeBase freq = 2998532000 hz.
[  968.718969] RTAI[sched]: timer setup = 999 ns, resched latency = 2944 ns.
[  968.730522] RTAI[math]: loaded.
[  968.878286] GANTRYKINS: joints[0] = 0
[  968.878296] GANTRYKINS: joints[1] = 1
[  968.878303] GANTRYKINS: joints[2] = 2
[  968.878310] GANTRYKINS: joints[3] = 1
[  968.878316] GANTRYKINS: joints[4] = -1
[  968.878322] GANTRYKINS: joints[5] = -1
[  968.878329] GANTRYKINS: joints[6] = -1
[  968.878335] GANTRYKINS: joints[7] = -1
[  968.878342] GANTRYKINS: joints[8] = -1
[ 1229.689482] RTAI[math]: unloaded.
[ 1229.693293] SCHED releases registered named ALIEN PEDV$D
[ 1229.704090] RTAI[malloc]: unloaded.
[ 1229.804028] RTAI[sched]: unloaded (forced hard/soft/hard transitions: traps 0, syscalls 0).
[ 1229.807375] I-pipe: head domain RTAI unregistered.
[ 1229.807465] RTAI[hal]: unmounted.