From 21d69579f53fcbcd6c7b1289e072d22aad5a46a8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Sebastian=20B=C3=B8e?= <sebastian.boe@nordicsemi.no>
Date: Thu, 27 Dec 2018 18:08:24 +0100
Subject: [PATCH] kconfig: Have the 'SMP' option depend on 'USE_SWITCH'
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

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>
---
 kernel/Kconfig | 1 +
 1 file changed, 1 insertion(+)

diff --git a/kernel/Kconfig b/kernel/Kconfig
index 82b505d69b3..96bc4a68ac3 100644
--- a/kernel/Kconfig
+++ b/kernel/Kconfig
@@ -662,6 +662,7 @@ config USE_SWITCH
 
 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.