I can confirm that after installing the kernel at

ftp://big-bum.uni.cx/pf-kernel/amd64/linux-
image-3.15.0-pf4%2B_3.15.0-pf4%2B-10.00.Custom_amd64.deb

the server worked for days without problem (however it's not in
production, as I'm a bit scared of using such a kernel in production)

I think that this issue is unrelated to gcc bug linked upthread.
Probably the linked kernel have some option that disable/make it working
"Processor Clocking Control" or "Collaborative Power Control"

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1318551

Title:
  Kernel Panic - not syncing: An NMI occurred, please see the Integrated
  Management Log for details.

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1318551/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to