source

embedded_nrf52840

16.0.0

embedded runtime for the NRF52840 SoC

16.0.0

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

Add embedded_nrf52840 in the dependency list:
```
[[depends-on]]
embedded_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";
with "ravenscar_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/embedded-nrf52840-16.0.0.tar.gz
Tags: embedded, runtime
Project files: runtime_build.gpr, ravenscar_build.gpr
Manifest: index/em/embedded_nrf52840/embedded_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:871b5eb52bfcf0cc361ae29d9cce7402937111407273afabdfaefe14a75d469c", "sha512:df94b88194d38e3567305f3b0562230f62152ec46ba8968dfa111bf9d9dcc15578ea60366e85187e2405e7fc729105e24b250ec4ac87973835b9d4e0d622483f" ] }