Embedded_nrf54l_app

Website:

https://github.com/damaki/community-bb-runtimes

Authors:
  • AdaCore
  • Daniel King
Maintainer:
  • Daniel King <damaki.gh@gmail.com>
License:

GPL-3.0-or-later WITH GCC-exception-3.1

Version:

15.3.0

Alire CI:

Dependencies: Dependents:

No dependents.

Badge:

embedded runtime for the nRF54L series

#embedded #runtime

Usage

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

  • Add embedded_nrf54l_app in the dependency list:
    [[depends-on]]
    embedded_nrf54l_app = "*"
    

Then edit your project file to add the following elements:

  • “with” the run-time project files:
    with "runtime_build.gpr";
    with "ravenscar_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 the linker switch -Wl,--gc-sections is optional, but its use is recommended since it reduces the final size of the executable by removing unused code.