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