[Fabien_C]

When was this? The tools working for me (either Linux or Windows). In fact we released a new version today: http://libre.adacore.com/download/configurations

And we are also working on a bare-metal driver library for ARM Cortex-M. Have a look: https://github.com/AdaCore/Ada_Drivers_Library