source

light_nrf52840

16.0.0

light runtime for the NRF52840 SoC

GitHub Community CIResults Version page Download JSON

16.0.0

Usage

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

  • Add light_nrf52840 in the dependency list:
    [[depends-on]]
light_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 "runtime_build.gpr";
  • Specify the Target and Runtime attributes:
       for Target use Runtime_Build'Target;
   for Runtime ("Ada") use Runtime_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/community-bb-runtimes
Repository
github.com/damaki/community-bb-runtimes
Release archive
github.com/damaki/community-bb-runtimes/releases/download/v16.0.0/light-nrf52840-16.0.0.tar.gz
Tags
embedded, runtime
Project files
runtime_build.gpr
Manifest
index/li/light_nrf52840/light_nrf52840-16.0.0.toml
Build and platform metadata 2 fields
Configuration
{
  "generate_c": false,
  "generate_gpr": false,
  "output_dir": "gnat_user",
  "variables": {
    "Interrupt_Stack_Size": {
      "default": 1024,
      "first": 1,
      "type": "Integer"
    },
    "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:ba337d15bca59bf8b2887b259017b527e262b94270954781e6a1faf14d9c1321",
    "sha512:98f788b3140d86e106f8ac4b1ff58523ea9a89d02227c4b30796ccd5ecb7682022d4593f9f15cc6b2df8972900041ed9041ca2fbd724550becc35c9ab08144ec"
  ]
}