[PR] riscv-v/pgalloc.h: Return kernel vaddr for kernel RAM paddr [nuttx]

[via GitHub]

pussuw opened a new pull request, #10875:
URL: https://github.com/apache/nuttx/pull/10875

   ## Summary
   All kernel memory is mapped paddr=vaddr, so it is trivial to give mapping 
for kernel memory. Only interesting region should be kernel RAM, so omit kernel 
ROM and don't allow re-mapping it.
   
   ## Impact
   Extend address range understood by riscv_pgvaddr
   
   ## Testing
   mpfs + CONFIG_BUILD_KERNEL
   


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