From 0eab654b13058ae5a398fb175c7fb1b152e517ca Mon Sep 17 00:00:00 2001 From: Huifeng Zhang Date: Mon, 28 Jun 2021 18:34:10 +0800 Subject: [PATCH] arch: arm64: select SCHED_IPI_SUPPORTED for Armv8_R Armv8_R supports IPI Signed-off-by: Huifeng Zhang --- arch/arm64/core/Kconfig | 1 + boards/arm64/fvp_baser_aemv8r/board.cmake | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/arch/arm64/core/Kconfig b/arch/arm64/core/Kconfig index 32f5555b5df..cd654d9acbd 100644 --- a/arch/arm64/core/Kconfig +++ b/arch/arm64/core/Kconfig @@ -126,6 +126,7 @@ if CPU_AARCH64_CORTEX_R config ARMV8_R bool select ATOMIC_OPERATIONS_BUILTIN + select SCHED_IPI_SUPPORTED if SMP help This option signifies the use of an ARMv8-R processor implementation. diff --git a/boards/arm64/fvp_baser_aemv8r/board.cmake b/boards/arm64/fvp_baser_aemv8r/board.cmake index b76c22c2a53..002bf65a393 100644 --- a/boards/arm64/fvp_baser_aemv8r/board.cmake +++ b/boards/arm64/fvp_baser_aemv8r/board.cmake @@ -22,4 +22,4 @@ set(ARMFVP_FLAGS -C bp.terminal_0.start_telnet=0 -C bp.vis.disable_visualisation=1 -C bp.vis.rate_limit-enable=0 - ) \ No newline at end of file + )