[ 1027.903272] RTAI[hal]: <3.9-test2> mounted over IPIPE-NOTHREADS 2.11-02.
[ 1027.903282] RTAI[hal]: compiled with gcc version 4.5.3 (CRUX) .
[ 1027.903301] RTAI[hal]: mounted (IPIPE-NOTHREADS, IMMEDIATE (INTERNAL IRQs VECTORED), ISOL_CPUS_MASK: 0).
[ 1027.903312] PIPELINE layers:
[ 1027.903323] e19e7600 9ac15d93 RTAI 2147483647
[ 1027.903333] c16050c0 0 Linux 100
[ 1028.012947] RTAI[malloc]: global heap size = 2097152 bytes, <TLSF>.
[ 1028.013264] RTAI[sched]: loaded (IMMEDIATE, UP, USER/KERNEL SPACE: <with RTAI OWN KTASKs>, <uses LINUX SYSCALLs>, kstacks pool size = 524288 bytes.
[ 1028.013288] RTAI[sched]: hard timer type/freq = 8254-PIT/1193180(Hz); default timing: periodic; black/red timed lists.
[ 1028.013303] RTAI[sched]: Linux timer freq = 100 (Hz), TimeBase freq = 598595000 hz.
[ 1028.013315] RTAI[sched]: timer setup = 2009 ns, resched latency = 12089 ns.
[ 1028.287943] RTAI[math]: loaded.
[ 1028.630173] config string '0x378 out  '
[ 1194.735168] RTAI[math]: unloaded.
[ 1194.820074] RTAI[malloc]: unloaded.
[ 1194.919283] RTAI[sched]: unloaded (forced hard/soft/hard transitions: traps 0, syscalls 0).
[ 1194.929981] I-pipe: Domain RTAI unregistered.
[ 1194.930013] RTAI[hal]: unmounted.