kconfig: Have the 'SMP' option depend on 'USE_SWITCH'
SMP requires the new-style '_arch_switch' to be enabled. To prevent
users from creating invalid configurations where SMP is enabled while
_arch_switch is not, we add a dependency from SMP to USE_SWITCH.
Signed-off-by: Sebastian Bøe <sebastian.boe@nordicsemi.no>
diff --git a/kernel/Kconfig b/kernel/Kconfig
index 82b505d..96bc4a6 100644
--- a/kernel/Kconfig
+++ b/kernel/Kconfig
@@ -662,6 +662,7 @@
config SMP
bool "Enable symmetric multithreading support"
+ depends on USE_SWITCH
help
When true, kernel will be built with SMP support, allowing
more than one CPU to schedule Zephyr tasks at a time.
