Quick tutorial on using GNATemulator for ARM
********************************************

This tutorial shows how to compile an example and run it on GNATemulator.

1) Compiling the example.

To compile, invoke gprbuild:

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

2) Running the example.

  arm-eabi-gnatemu --board=stm32f4 hello

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