[ 7889.257819] I-pipe: head domain RTAI registered. [ 7889.257829] RTAI[hal]: compiled with gcc version 4.7.2 (Debian 4.7.2-5) . [ 7889.257838] RTAI[hal]: mounted (IPIPE-NOTHREADS, IMMEDIATE (INTERNAL IRQs DISPATCHED), ISOL_CPUS_MASK: 0). [ 7889.257843] SYSINFO: CPUs 1, LINUX APIC IRQ 2312, TIM_FREQ 12467820, CLK_FREQ 3191823000, CPU_FREQ 3191823000 [ 7889.257847] RTAI_APIC_TIMER_IPI: RTAI DEFINED 2314, VECTOR 2314; LINUX_APIC_TIMER_IPI: RTAI DEFINED 2312, VECTOR 2312 [ 7889.257852] TIMER NAME: lapic; VARIOUSLY FOUND APIC FREQs: 12467820, 12467820, 12400250 [ 7889.269888] RTAI[malloc]: global heap size = 2097152 bytes, . [ 7889.269935] , , kstacks pool size = 524288 bytes. [ 7889.269943] RTAI[sched]: hard timer type/freq = APIC/12467820(Hz); default timing: oneshot; linear timed lists. [ 7889.269949] RTAI[sched]: Linux timer freq = 250 (Hz), TimeBase freq = 3191823000 hz. [ 7889.269952] RTAI[sched]: timer setup = 999 ns, resched latency = 2944 ns. [ 7889.285147] RTAI[math]: loaded. [ 7889.460013] config string '0xdca0 out 0xdcc8 in' [ 8078.165586] RTAI[math]: unloaded. [ 8078.175023] SCHED releases registered named ALIEN PEDV$D [ 8078.190452] RTAI[malloc]: unloaded. [ 8078.288019] RTAI[sched]: unloaded (forced hard/soft/hard transitions: traps 0, syscalls 0). [ 8078.291074] I-pipe: head domain RTAI unregistered. [ 8078.291089] RTAI[hal]: unmounted.