Just want to show that MMU linux on s31 is possible: https://github.com/GrieferPig/esp32-s31-linux

Both OpenSBI and Linux are patched to accomodate for S31's CLIC-centric (I presume?) interrupt architecture and XIP support. Not much are usable atm, but it reaches init and shell.

You can download ...