Comment 10 for bug 1318551

falstaff (falstaff) wrote :

The Kernel installed in our environment is compiled using GCC 4.8.2 (check dmesg | head). Hence I don't think this is related.

We had the kernel panic again last week (see attachment). We added the hpwdt module to blacklist, which hopefully works around this problem. We also updated the BIOS, but not sure whether this would have solved the problem. Since its a production server, I cannot do any further tests to help solve this problem, sorry.