A more interesting candidate for the ESP32 would be Inferno OS. It's a Desktop OS which doesn't require a MMU and needs about 1MB RAM on startup. As a bonus you get all the benefits of plan 9.
Thanks for pointing out Inferno OS. I recently started tinkering with embedded devices after a long gap, and this looks like perfect project to work on!