xiaoxiang781216 commented on a change in pull request #2517:
URL: https://github.com/apache/incubator-nuttx/pull/2517#discussion_r540805534
##########
File path: arch/arm/Kconfig
##########
@@ -789,6 +789,13 @@ config ARM_THUMB
default n
depends on ARCH_ARMV7A
+config ARM_WFE_SEV
+ bool
+ default y
+ depends on ARCH_ARMV7A && SMP
Review comment:
it's better to let ARCH_ARMV7A select ARM_WFE_SEV like
ARM_HAVE_MPU_UNIFIED
----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
For queries about this service, please contact Infrastructure at:
us...@infra.apache.org
