bare_bones VS cortex-gnat-rts

So Rose happened because years ago there was a research OS (Coyotos) which sounded interesting, but it disappeared some years ago. I took the system call interface and hierarchical interface idea, created a run time using the Ada bare bones repository, and went from there.

https://github.com/Lucretia/bare_bones/blob/master/build/gnat/rts/4.9/adainclude/arch/i586/system.ads#L149

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.