From e27c9c7c52416b6968b85cb08747dd362941aeb8 Mon Sep 17 00:00:00 2001 From: Peng Fan Date: Mon, 23 Nov 2020 18:18:02 +0800 Subject: [PATCH] arch: arm64: select SCHED_IPI_SUPPORTED when SMP enabled Select SCHED_IPI_SUPPORTED when SMP enabled. Signed-off-by: Peng Fan --- arch/arm/core/aarch64/Kconfig | 1 + 1 file changed, 1 insertion(+) diff --git a/arch/arm/core/aarch64/Kconfig b/arch/arm/core/aarch64/Kconfig index a61b3cd02c3..7e5758d0a82 100644 --- a/arch/arm/core/aarch64/Kconfig +++ b/arch/arm/core/aarch64/Kconfig @@ -10,6 +10,7 @@ config CPU_CORTEX_A select USE_SWITCH select USE_SWITCH_SUPPORTED select HAS_ARM_SMCCC + select SCHED_IPI_SUPPORTED if SMP help This option signifies the use of a CPU of the Cortex-A family.