Comment 7 for bug 1837430

Revision history for this message
Cindy Xie (xxie1) wrote :

due to the fact that the kernel was not upgraded for weeks, just use the kernel rpm with debug info from Cengen, it should work.