eenurkka commented on code in PR #12353:
URL: https://github.com/apache/nuttx/pull/12353#discussion_r1601613068


##########
arch/arm64/src/common/arm64_mmu.c:
##########
@@ -556,6 +556,41 @@ static void enable_mmu_el1(unsigned int flags)
 #endif
 }
 
+#ifdef CONFIG_ARCH_HAVE_EL3

Review Comment:
   Could be CONFIG_ARCH_BOOT_EL3 instead



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

To unsubscribe, e-mail: commits-unsubscr...@nuttx.apache.org

For queries about this service, please contact Infrastructure at:
us...@infra.apache.org

Reply via email to