diff --git a/kernel/Kconfig b/kernel/Kconfig index 4f11321f6ff..31710bdf5e0 100644 --- a/kernel/Kconfig +++ b/kernel/Kconfig @@ -722,7 +722,7 @@ config MP_NUM_CPUS multicpu API and SMP features. config SCHED_IPI_SUPPORTED - bool "Architecture supports broadcast interprocessor interrupts" + bool help True if the architecture supports a call to arch_sched_ipi() to broadcast an interrupt that will call