patacongo commented on issue #12356:
URL: https://github.com/apache/nuttx/issues/12356#issuecomment-2123545889

   > I have noticed that the icicle knsh config has `CONFIG_ARCH_VMA_MAPPING` 
enabled as well as addresses set for `CONFIG_ARCH_SHM_VBASE` and 
`CONFIG_ARCH_KMAP_VBASE`, something I haven't seen in other knsh profiles.
   
   Careful.  There are several knsh or kostest configurations that are used in 
the PROTECTED build.  That PROTECTED build is for MCUs that don't have MMUs, 
but rather MPUs and, hence, don't support virtual addressing.  Make sure that 
you only look at configurations that have CONFIG_BUILD_KERNEL=y


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