Light_tasking_nrf52832

Website:

https://github.com/damaki/nrf52-runtimes

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

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

Version:

14.1.0

Alire CI:

Dependencies: Dependents:

No dependents.

Badge:

light-tasking runtime for the nRF52832 SoC

#embedded #runtime

Usage

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

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

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");