instruction code arm elf gnat

 https://docs.adacore.com/gnat_ugx-docs/html/gnat_ugx/gnat_ugx/arm-elf_topics_and_tutorial.html

elf executable Executable and Linkable Format