> # insmod rtai_hal.ko > RTAI: Intel chipset found and SMI workaround not enabled, > you may encounter high interrupt latencies. > Adeos: Domain RTAI registered. > RTAI: hal/x86 loaded. I've enabled SMI workaround, but is still freezed.