[fulafel]

There does seem to be a Xtensa Linux port, but you need a Xtensa chip that has some more features than the ESP32 does. http://wiki.linux-xtensa.org/index.php/Supported_Processors