source

light_tasking_nrf52840

15.0.1

light-tasking runtime for the nRF52840 SoC

15.0.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/v15.0.1/light-tasking-nrf52840-15.0.1.tar.gz
Tags: embedded, runtime
Project files: runtime_build.gpr, ravenscar_build.gpr
Manifest: index/li/light_tasking_nrf52840/light_tasking_nrf52840-15.0.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:d79d084767fe124b59fa675fab23b0f4d732f8f48de9c95a13c3eb41cde66ae8", "sha512:367628c69320194368daf274383cc7ef1331212dc27229b29c3bb722d51b5bc1b9e9c33002c991fa1f38b88bee8a8b73aae122492457a8e143904fc27e796f51" ] }