arch: arm64: select SCHED_IPI_SUPPORTED for Armv8_R

Armv8_R supports IPI

Signed-off-by: Huifeng Zhang <Huifeng.Zhang@arm.com>
This commit is contained in:
Huifeng Zhang 2021-06-28 18:34:10 +08:00 committed by Christopher Friedt
commit 0eab654b13
2 changed files with 2 additions and 1 deletions

View file

@ -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.