[mordae]

You don't need xtensa toolchain and use whatever your distro ships for one.

A drawback is that ESP32 RISCV cores don't feature FPU, if I am remembering correctly.