Ada is used quite often in embedded systems.

- https://blog.adacore.com/ada-on-any-arm-cortex-m-device-in-j...

- https://github.com/AdaCore/Ada_Drivers_Library