masayuki2009 commented on a change in pull request #2517:
URL: https://github.com/apache/incubator-nuttx/pull/2517#discussion_r540817299
##########
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:
Should we add 'select ARM_HAVE_WFE_SEV' to ARCH_CHIP_IMX6 instead of
ARCH_ARMV7A?
----------------------------------------------------------------
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
