casaroli commented on PR #19772: URL: https://github.com/apache/nuttx/pull/19772#issuecomment-5255731342
@igrr @tmedicci Thank you for the comments. You are correct. I have [the fix for this](https://github.com/apache/nuttx/commit/6381dc9427b97e636955f2bd33bebfe99076840b) (we will rework and revisit, but the PoC worked). I can include here, however I was already asked to split this PR (which I did, please check #19795, #19796, #19797), and to prevent this from becoming larger, i propose we just make fork() work first and then we add the isolation next (as part of #19797 or a follow up PR). It is worth mentioning that the other arches that implement `BUILD_KERNEL` (arm and rv), their MMU already isolate by design. xtensa is the only one that requires the MMU and the PMS to be configured together. I want to add it, and I also want your review on how we will handle the fault and kill only the offending process, so the system does not go down (I have a PoC of that working, but I believe we should go step-by-step). If you prefer, we can put everything back together in a single PR. -- 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: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
