From 40b49e22ea10f46defef1154b73ed4ad4019dc4b Mon Sep 17 00:00:00 2001 From: Ulf Magnusson Date: Fri, 17 Jan 2020 23:14:54 +0100 Subject: [PATCH] kernel: kconfig: Make SCHED_IPI_SUPPORTED invisible Toggling this symbol probably doesn't make sense, because the architecture is already known when Kconfig runs. SCHED_IPI_SUPPORTED is enabled through being selected by the ARC_CONNECT (maybe that one shouldn't be configurable either) and X86_64 symbols. Note that it's not possible to disable the symbol when it's being selected, so trying to turn it off on e.g. X86_64 won't work either. Signed-off-by: Ulf Magnusson --- kernel/Kconfig | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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