if you, a person on the internet, have successfully set up a gcc-based toolchain (yes, yes, all gcc toolchains are based) specifically to cross-compile Ada (via gnat) to ESP32S3 (via xtensa-esp32-elf-gcc and friends) to produce binaries suitable for flashing via the ESP-IDF toolchain, then I, another person on the internet, would go so far as to pay you twenty usian dollars or something if you would be willing to answer my questions about how you achieved success, but only if you did not “talk” to any not-persons in the process of achieving said goal.