This image contains all the AVD-Ada tools and dependencies; it is based on a Fedora 25 image and the RPMs made by Tero Koskinen for that disctribution (http://arduino.ada-language.com/avr-ada-122-rpms-for-fedora-25.html) using the AVR-Ada 1.2.2 release (https://sourceforge.net/projects/avr-ada/).
Also included is avrdude to allow direct uploading to the board.
The images runs as root but there is a "ada" user with UID 1000 so using "docker run -u 1000 ..." will simplify permission management for the most common user in RHEL-derived hosts.
An example of how to use it:
alias avr-ada="docker run -it --rm \ -v $HOME/src:/src:Z \ --device /dev/ttyACM0 \ --name avr-ada \ --group-add dialout \ fsmunoz/avr-ada"