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