Apr 23 23:42:12 linuxcnc kernel: [  311.028384] I-pipe: head domain RTAI registered.
Apr 23 23:42:12 linuxcnc kernel: [  311.028401] RTAI[hal]: compiled with gcc version 4.8.2 (Ubuntu 4.8.2-19ubuntu1) .
Apr 23 23:42:12 linuxcnc kernel: [  311.028413] RTAI[hal]: mounted (IPIPE-NOTHREADS, IMMEDIATE (INTERNAL IRQs DISPATCHED), ISOL_CPUS_MASK: 0).
Apr 23 23:42:12 linuxcnc kernel: [  311.028417] SYSINFO: CPUs 1, LINUX APIC IRQ 2304, TIM_FREQ 8310119, CLK_FREQ 2659332000, CPU_FREQ 2659332000
Apr 23 23:42:12 linuxcnc kernel: [  311.028421] RTAI_APIC_TIMER_IPI: RTAI DEFINED 2306, VECTOR 2306; LINUX_APIC_TIMER_IPI: RTAI DEFINED 2304, VECTOR 2304
Apr 23 23:42:12 linuxcnc kernel: [  311.028425] TIMER NAME: lapic; VARIOUSLY FOUND APIC FREQs: 8310119, 8310119, 8310000
Apr 23 23:42:12 linuxcnc kernel: [  311.055758] RTAI[malloc]: global heap size = 2097152 bytes, <BSD>.
Apr 23 23:42:12 linuxcnc kernel: [  311.055758] , kstacks pool size = 524288 bytes.
Apr 23 23:42:12 linuxcnc kernel: [  311.055758] RTAI[sched]: hard timer type/freq = APIC/8310119(Hz); default timing: periodic; linear timed lists.
Apr 23 23:42:12 linuxcnc kernel: [  311.055758] RTAI[sched]: Linux timer freq = 250 (Hz), TimeBase freq = 2659332000 hz.
Apr 23 23:42:12 linuxcnc kernel: [  311.055758] RTAI[sched]: timer setup = 120 ns, resched latency = 3823 ns.

thomas@linuxcnc:~/cncinstall/linuxcnc-dev/bin$ sudo ./halcmd show thread
[sudo] password for thomas:
Realtime Threads:
     Period  FP     Name               (     Time, Max-Time )

thomas@linuxcnc:~/cncinstall/linuxcnc-dev/bin$ sudo ./halcmd show funct
Exported Functions:
Owner   CodeAddr  Arg       FP   Users  Name

thomas@linuxcnc:~/cncinstall/linuxcnc-dev/bin$