Interesting - I do have CONFIG_X86_UP_APIC set, and the nmi_watchdog is
doing _something_, because without it on the kernel commandline I get 0
NMIs.
> >Is it possible that I'm not seeing the trace because I'm using a VGA
> >virtual console rather than a real serial console?
>
> Depends on your boot parameters for console and the levels of console
> printk. Console output to X is unlikely to work, output to VGA
> (including virtual consoles) should work. Except that some
> distributions change printk levels and even redirect output to a
> different virtual console.
>
> cat /proc/cmdline should have no console setting or 'console=tty0'.
> Change boot options and reboot if necessary.
>
> cat /proc/sys/kernel/printk should report 6 4 1 7, if not then
> echo "6 4 1 7" > /proc/sys/kernel/printk
Ahh, that could be a problem, my system's default is "7 4 1 7".
- Kevin.
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/