On Sun, Sep 24, 2017 at 7:46 AM, Adrien Mahieux <adrien.mahieux@xxxxxxxxx> wrote: > > I see your FW-8771 has an IPMI port. Did you try to configure it and > then use "ipmitool chassis power diag" to send an NMI ? > NMI is working great to generate a kdump. > Also, is the kdump service correctly started ? Some motherboards also have a jumper that can be used to trigger an NMI. -- To unsubscribe from this list: send the line "unsubscribe linux-x86_64" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html