https://bugzilla.kernel.org/show_bug.cgi?id=205303

A. Wilcox (awil...@adelielinux.org) changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |awil...@adelielinux.org

--- Comment #2 from A. Wilcox (awil...@adelielinux.org) ---
This is because CONFIG_HARDLOCK_DETECTOR is on and CONFIG_NMI_IPI is off.

CONFIG_HARDLOCK_DETECTOR pulls in CONFIG_PPC_WATCHDOG, which unconditionally
uses smp_send_nmi_ipi (and I believe requires such to work properly). 
CONFIG_PPC_WATCHDOG doesn't depend on CONFIG_NMI_IPI which it probably should. 
And then CONFIG_HARDLOCK_DETECTOR_ARCH should probably depend on CONFIG_NMI_IPI
or CONFIG_PPC_WATCHDOG.

-- 
You are receiving this mail because:
You are watching the assignee of the bug.

Reply via email to