source

light_tasking_nrf52840

14.1.1

light-tasking runtime for the nRF52840 SoC

14.1.1

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

Add light_tasking_nrf52840 in the dependency list:
```
[[depends-on]]
light_tasking_nrf52840 = "*"
```

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 "ravenscar_build.gpr";
```

Specify the Target and Runtime attributes:

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

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/nrf52-runtimes
Repository: github.com/damaki/nrf52-runtimes
Release archive: github.com/damaki/nrf52-runtimes/releases/download/v14.1.1/light-tasking-nrf52840-14.1.1.tar.gz
Tags: embedded, runtime
Project files: runtime_build.gpr, ravenscar_build.gpr
Manifest: index/li/light_tasking_nrf52840/light_tasking_nrf52840-14.1.1.toml

Build and platform metadata 2 fields

Configuration: { "generate_c": false, "generate_gpr": false, "output_dir": "gnat_user", "variables": { "LFCLK_Src": { "default": "Xtal", "type": "Enum", "values": [ "Xtal", "RC", "Synth" ] }, "Time_Base": { "default": "RTC2", "type": "Enum", "values": [ "RTC0", "RTC1", "RTC2" ] }, "Use_Reset_Pin": { "default": true, "type": "Boolean" }, "Use_SWO_Trace": { "default": true, "type": "Boolean" } } }
Additional origin data: { "hashes": [ "sha256:11584e0b849ea621c393072f69a74f80906ede4d6815eecd5f87e11d9ffdf272", "sha512:7cda877ed9f81b66da64f04f2b8c860d1e42a42a79b420b1fb830ea0a42ad39064447a8a1f20a935806574e68649c08ca10ad1dbac20b90e426b1142223a681b" ] }