Usage

First edit your alire.toml file and add the following elements:

• Add light_tasking_rp2040 in the dependency list:

  [[depends-on]]
  light_tasking_rp2040 = "*"
  

Then edit your project file to add the following elements:

• “with” the run-time project file. With this, gprbuild will compile the run-time before your application

  with "runtime_build.gpr";
  

• Specify the Target and Runtime attributes:

     for Target use runtime_build'Target;
     for Runtime ("Ada") use runtime_build'Runtime ("Ada");
  

• specify the Linker switches:

  package Linker is
    for Switches ("Ada") use Runtime_Build.Linker_Switches & ("-Wl,--gc-sections");
  end Linker;
  

  Note that --gc-switches is recommended as it reduces flash and RAM usage by removing unused code and data, but it is not mandatory.

See the project website for details on configuring the runtime.