You are viewing a plain text version of this content. The canonical link for it is here.

Posted to commits@nuttx.apache.org by "linguini1 (via GitHub)" <gi...@apache.org> on 2025/09/01 18:54:49 UTC

[I] [FEATURE] Implement Kernel build for RPi 4B SMP [nuttx]</h1><pre> linguini1 opened a new issue, #16955: URL: https://github.com/apache/nuttx/issues/16955 ### Is your feature request related to a problem? Please describe. The RPi 4B support currently uses a bundled image where there is only one memory region shared by the user and the kernel. ### Describe the solution you'd like NuttX supports userspace/kernel space separation with kernel mode builds. I would like a kernel mode build to be supported for the Pi 4B with a correct linker script, configuration `defconfig` preset and some loaded tests to verify correct operation. ### Describe alternatives you've considered _No response_ ### Verification - [x] I have verified before submitting the report. -- 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-unsubscribe@nuttx.apache.org.apache.org For queries about this service, please contact Infrastructure at: users@infra.apache.org </pre><hr/> </body> </html>