FIXME
- download gnat-community-2018-20180524-arm-elf-linux64-bin from adacore.com/downloads
- install it somewhere, let's call it ADAPATH
- add $ADAPATH/bin to your $PATH
- clone the repo https://github.com/AdaCore/Ada_Drivers_Library somewhere ($DRIVER_PATH)
- prepare your env to use python2.7
- run $DRIVER_PATH/scripts/install_dependencies.py
- set GPR_PROJECT_PATH=$DRIVER_PATH
- flash it
- run it