Apr 26 00:53:59 RM-one kernel: I-pipe: head domain RTAI registered.
Apr 26 00:53:59 RM-one kernel: RTAI[hal]: compiled with gcc version 6.3.0 20170516 (Debian 6.3.0-18) .
Apr 26 00:53:59 RM-one kernel: RTAI[hal]: mounted (IPIPE-NOTHREADS, IMMEDIATE (INTERNAL IRQs DISPATCHED), ISOL_CPUS_MASK: 0).
Apr 26 00:53:59 RM-one kernel: SYSINFO: CPUs 4, LINUX APIC IRQ 4353, TIM_FREQ 87302997, CLK_FREQ 2793702000, CPU_FREQ 2793702000
Apr 26 00:53:59 RM-one kernel: RTAI_APIC_TIMER_IPI: RTAI DEFINED 4354, VECTOR 4355; LINUX_APIC_TIMER_IPI: RTAI DEFINED 4353, VECTOR 4353
Apr 26 00:53:59 RM-one kernel: TIMER NAME: lapic; VARIOUSLY FOUND APIC FREQs: 87302997, 87302997, 0
Apr 26 00:53:59 RM-one kernel: RTAI[malloc]: global heap size = 2097152 bytes, <BSD>.
Apr 26 00:53:59 RM-one kernel: , kstacks pool size = 524288 bytes.
Apr 26 00:53:59 RM-one kernel: RTAI[sched]: hard timer type/freq = APIC/87302997(Hz); default timing: oneshot; linear timed lists.
Apr 26 00:53:59 RM-one kernel: RTAI[sched]: Linux timer freq = 1000 (Hz), TimeBase freq = 2793702000 hz.
Apr 26 00:53:59 RM-one kernel: RTAI[sched]: timer setup = 11 ns, resched latency = 3932 ns.
Apr 26 00:53:59 RM-one kernel: LXRT releases PID 1145 (ID: display).