source

light_tasking_nrf54l_app

15.4.0

light-tasking runtime for the nRF54L series

GitHub Community CIResults All crate versions Download JSON

15.4.0

Usage

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

  • Add light_tasking_nrf54l_app in the dependency list:
    [[depends-on]]
light_tasking_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.

Authors
AdaCore, Daniel King
Maintainers
Daniel King <damaki.gh@gmail.com>
Maintainer profiles
@damaki
Licenses
GPL-3.0-or-later WITH GCC-exception-3.1
Website
https://github.com/damaki/community-bb-runtimes
Repository
github.com/damaki/community-bb-runtimes
Release archive
github.com/damaki/community-bb-runtimes/releases/download/v15.4.0/light-tasking-nrf54l_app-15.4.0.tar.gz
Tags
embedded, runtime
Project files
runtime_build.gpr, ravenscar_build.gpr
Manifest
index/li/light_tasking_nrf54l_app/light_tasking_nrf54l_app-15.4.0.toml
Build and platform metadata 2 fields
Configuration
{
  "output_dir": "gnat_user",
  "variables": {
    "Device": {
      "default": "nRF54L15",
      "type": "Enum",
      "values": [
        "nRF54L05",
        "nRF54L10",
        "nRF54L15",
        "nRF54LS05A",
        "nRF54LS05B",
        "nRF54LV10A",
        "nRF54LM20A",
        "nRF54LM20B"
      ]
    },
    "Enable_Glitch_Detector": {
      "default": true,
      "type": "Boolean"
    },
    "Enable_SWO": {
      "default": true,
      "type": "Boolean"
    },
    "Enable_Trace": {
      "default": false,
      "type": "Boolean"
    },
    "Interrupt_Secondary_Stack_Size": {
      "default": 128,
      "first": 1,
      "type": "Integer"
    },
    "Interrupt_Stack_Size": {
      "default": 1024,
      "first": 1,
      "type": "Integer"
    },
    "LFCLK_Src": {
      "default": "LFXO",
      "type": "Enum",
      "values": [
        "LFXO",
        "LFRC",
        "LFSYNT"
      ]
    },
    "MCU_Domain_Speed": {
      "default": "CK64M",
      "type": "Enum",
      "values": [
        "CK64M",
        "CK128M"
      ]
    },
    "Security_Level": {
      "default": "Secure",
      "type": "Enum",
      "values": [
        "Secure",
        "Non_Secure"
      ]
    },
    "Time_Base_GRTC_CCn": {
      "default": 11,
      "first": 0,
      "last": 11,
      "type": "Integer"
    },
    "Time_Base_GRTC_IRQ": {
      "default": 3,
      "first": 0,
      "last": 3,
      "type": "Integer"
    }
  }
}
Additional origin data
{
  "hashes": [
    "sha256:e913d4092dcf219d04b3fe1ce8e4d7c8f43da99755d181fc6425c5efcb3ee3ed",
    "sha512:51925529364c6bf79a4d9b5af2e9a00d24bdd78fefeb36bdb5595d08d037908098a4751ff5001fcb571412a74309bd5b044f0fd1519d787ee966a405f59518f2"
  ]
}