The ARM ELF Bareboard Example

This tutorial shows how to build an example and run it with GNATemulator.

Compiling the example

The example comprises 2 files:

  • hello.adb, the main subprogram.
  • hello.gpr, the project to build the program

To build, simply invoke gprbuild:

gprbuild --target=arm-eabi -P hello.gpr --RTS=ravenscar-full-stm32f4

Running the example

To launch the example just run:

arm-eabi-gnatemu --board=stm32f4 hello

GNATemulator will automatically load the ELF file (hello) and start execution at the entry point.