Hannes Mayer wrote:
Jan Kiszka wrote:
+ printk("Xenomai: Intel chipset found but SMI workaround not
enabled in kernel\n"
+ " configuration. You may encounter high interrupt
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,