cortex-gnat-rts VS esp32-gnat-rts

Also, u/simonjwright 's cortex-gnat-rts was most helpful.

You could look at providing your own version of System.Memory - this was easy enough in an embedded system with a restricted runtime, but much hairier in full Ada.

It includes a customized GNAT RunTime (besed on cortex-gnat-rts) and a ESP32 toolchain binaries. It's integrated in Espressif IoT Development Framework build system.

I looked into finalization without exceptions for Cortex GNAT RTS, branch finalization, not touched since 2018; not too difficult (largely reinstating stuff I’d cut out because of restriction No_Finalization).

What I had in mind was the usage generated by AdaCore’s SVD2Ada, e.g. the register without the pragma, and the place in the wider data structure in which it’s used, with the pragma.

This code, which I unthinkingly wrote thinking "how clever!", in fact calls memcpy() and memset() under the hood, which works because the compiler was built including Newlib.

.. and a simple version here.

LoRa|Bluetooth module works on a ESP32 chip and has FreeRTOS+Ada RunTime.

I'm playing with a driver prototype for LoRa SX1276 module. And I'm a bit lost where I should contribute it (if I should).