sysadmin@hfcnc1:/etc/modprobe.d$ dmesg
[ 1428.635084] I-pipe: head domain RTAI registered.
[ 1428.635098] RTAI[hal]: compiled with gcc version 4.7.2 (Debian 4.7.2-5) .
[ 1428.635171] RTAI[hal]: mounted (IPIPE-NOTHREADS, IMMEDIATE (INTERNAL IRQs DISPATCHED), ISOL_CPUS_MASK: 0).
[ 1428.635180] SYSINFO: CPUs 2, LINUX APIC IRQ 2312, TIM_FREQ 12468630, CLK_FREQ 3191884000, CPU_FREQ 3191884000
[ 1428.635187] RTAI_APIC_TIMER_IPI: RTAI DEFINED 2314, VECTOR 2314; LINUX_APIC_TIMER_IPI: RTAI DEFINED 2312, VECTOR 2312
[ 1428.635194] TIMER NAME: lapic; VARIOUSLY FOUND APIC FREQs: 12468630, 12468630, 12413000
[ 1428.648655] RTAI[malloc]: global heap size = 2097152 bytes, <BSD>.
[ 1428.648719] , <uses LINUX SYSCALLs>, kstacks pool size = 524288 bytes.
[ 1428.648729] RTAI[sched]: hard timer type/freq = APIC/12468630(Hz); default timing: oneshot; linear timed lists.
[ 1428.648735] RTAI[sched]: Linux timer freq = 250 (Hz), TimeBase freq = 3191884000 hz.
[ 1428.648739] RTAI[sched]: timer setup = 999 ns, resched latency = 2944 ns.
[ 1428.659930] RTAI[math]: loaded.
[ 1438.373126] config string '0'
[ 1441.465964] RTAI[math]: unloaded.
[ 1441.469294] SCHED releases registered named ALIEN PEDV$D
[ 1441.487214] RTAI[malloc]: unloaded.
[ 1441.584025] RTAI[sched]: unloaded (forced hard/soft/hard transitions: traps 0, syscalls 0).
[ 1441.587244] I-pipe: head domain RTAI unregistered.
[ 1441.587327] RTAI[hal]: unmounted.
[ 1567.405249] I-pipe: head domain RTAI registered.
[ 1567.405262] RTAI[hal]: compiled with gcc version 4.7.2 (Debian 4.7.2-5) .
[ 1567.405338] RTAI[hal]: mounted (IPIPE-NOTHREADS, IMMEDIATE (INTERNAL IRQs DISPATCHED), ISOL_CPUS_MASK: 0).
[ 1567.405348] SYSINFO: CPUs 2, LINUX APIC IRQ 2312, TIM_FREQ 12468630, CLK_FREQ 3191884000, CPU_FREQ 3191884000
[ 1567.405354] RTAI_APIC_TIMER_IPI: RTAI DEFINED 2314, VECTOR 2314; LINUX_APIC_TIMER_IPI: RTAI DEFINED 2312, VECTOR 2312
[ 1567.405363] TIMER NAME: lapic; VARIOUSLY FOUND APIC FREQs: 12468630, 12468630, 6572250
[ 1567.418627] RTAI[malloc]: global heap size = 2097152 bytes, <BSD>.
[ 1567.418692] , <uses LINUX SYSCALLs>, kstacks pool size = 524288 bytes.
[ 1567.418701] RTAI[sched]: hard timer type/freq = APIC/12468630(Hz); default timing: oneshot; linear timed lists.
[ 1567.418707] RTAI[sched]: Linux timer freq = 250 (Hz), TimeBase freq = 3191884000 hz.
[ 1567.418711] RTAI[sched]: timer setup = 999 ns, resched latency = 2944 ns.
[ 1567.438923] RTAI[math]: loaded.