runtime.xml

<?xml version="1.0" ?>

<gprconfig>
  <configuration>
   <config>

   type Loaders is ("ROM", "RAM", "USER");

   Loader : Loaders := external ("LOADER", "ROM");
   
   type Boards is ("STM32F411-NUCLEO");
   Board: Boards := external("BOARD","STM32F411-NUCLEO");
   
   package Compiler is
      Common_Required_Switches := ("-mlittle-endian", "-mhard-float",
        "-mcpu=cortex-m4", "-mfpu=fpv4-sp-d16", "-mthumb");

      for Leading_Required_Switches ("Ada") use
         Compiler'Leading_Required_Switches ("Ada") &amp;
         Common_Required_Switches;

      for Leading_Required_Switches ("C") use
         Compiler'Leading_Required_Switches ("C") &amp;
         Common_Required_Switches;
   end Compiler;

   package Linker is
      for Required_Switches use Linker'Required_Switches &amp;
        ("-L${RUNTIME_DIR(ada)}/adalib", "-nolibc", "-nostartfiles") &amp;
        Compiler.Common_Required_Switches;

      case Loader is
         when "USER" =>
         when others =>
            for Required_Switches use Linker'Required_Switches &amp;
            ("-L", "${RUNTIME_DIR(ada)}/bsp/",
             "-T", "memory-map.ld",
             "-T", "common-" &amp; Loader &amp; ".ld");
     end case;
   end Linker;
   </config>
  </configuration>
</gprconfig>