While Alire provides ready for use runtimes for some boards, it is not trivial to run an application on other boards, and even harder to use Ada tasking. I’ve developed runtime generator to create custom runtimes for bare board application. Runtime can be fine tuned for particular application, it is generated near to application’s code and not need to be distributed.
I’ve able to run blink led example on STM32F401/411 and STM32G431/474 boards, and on Arduino Due.