Hannes Mayer wrote:
Hi all!

Jan Kiszka wrote:

+ printk("Xenomai: Intel chipset found but SMI workaround not enabled in kernel\n" + " configuration. You may encounter high interrupt latencies.\n");

Speaking of printk. Since 2.1 I don't see any messages in the
kernel log. I bet there is a new switch somewhere, but I
can't find it. Any hint appreciated.

dmesg | grep -i xenomai: ?

BTW, Jan, the SMI seems to be disabled now, even if I haven't
seen the message of disabling SMI in the klog.

Thanks & best regards,



Reply via email to