i have done some more research and i no longer believe that it is viable to port NetBSD to the ESP32-P4. the MMU is more than an MPU, but it is still not enough for proper demand paging
0 Boosts
0 Likes
in any case, the ESP32-S31 (not ESP32-S3) does appear to have a full SV32 MMU, so NetBSD running on that should be entirely possible.
@linear wasn't there a port of linux to one of the ESP32s lately? 🤔
@dec_hl@mastodon.social probably. Linux can more easily deal with insufficient or entirely lacking MMU than NetBSD can, though.
also, i believe that was an xtensa board, and those frequently have real MMUs
also, i believe that was an xtensa board, and those frequently have real MMUs
espressif could still prove me wrong by releasing full MMU documentation that actually outlines everything rather than me having to infer everything from what little register documentation exists within their code itself (the TRM has nothing on this, and iirc even explicitly states that the chip doesn't support U-mode, which it does)