nrf52-runtimes 14.1.1 and 15.0.1 (#1805)

2026-02-23 10:42:27 +00:00
parent 8bd7df579c
commit 2377a86634
18 changed files with 1008 additions and 0 deletions
@@ -0,0 +1,56 @@
+name = "embedded_nrf52832"
+description = "embedded runtime for the nRF52832 SoC"
+version = "14.1.1"
+
+long-description = """
+## Usage
+
+First edit your `alire.toml` file and add the following elements:
+ - Add `embedded_nrf52832` in the dependency list:
+   ```toml
+   [[depends-on]]
+   embedded_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
+   ```ada
+   with "ravenscar_build.gpr";
+   ```
+ - Specify the `Target` and `Runtime` attributes:
+   ```ada
+      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>"]
+maintainers-logins = ["damaki"]
+licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
+tags = ["embedded", "runtime"]
+website = "https://github.com/damaki/nrf52-runtimes"
+
+project-files = ['runtime_build.gpr', 'ravenscar_build.gpr']
+
+[configuration]
+generate_gpr = false
+generate_c = false
+output_dir = "gnat_user"
+
+[configuration.variables]
+Time_Base = { type = "Enum", values = ["RTC0", "RTC1", "RTC2"], default = "RTC2" }
+LFCLK_Src = { type = "Enum", values = ["Xtal", "RC", "Synth"], default = "Xtal" }
+Use_SWO_Trace = { type = "Boolean", default = true }
+Use_Reset_Pin = { type = "Boolean", default = true }
+
+[[depends-on]]
+gnat_arm_elf = "^14"
+
+[origin]
+hashes = [
+"sha256:8c2cf55a026e77e68befa13bf200efe01d97a1801206e50b6b571c5ab7b47b00",
+"sha512:af4f2c8cfb080f3f727eb5efc2e763856fff3bf85d07899877de43d781fc19a090a37527bff85c9b51f75f8348da793ce08209d57b1e5146b5991bc5c2c5734e",
+]
+url = "https://github.com/damaki/nrf52-runtimes/releases/download/v14.1.1/embedded-nrf52832-14.1.1.tar.gz"
+
@@ -0,0 +1,56 @@
+name = "embedded_nrf52832"
+description = "embedded runtime for the nRF52832 SoC"
+version = "15.0.1"
+
+long-description = """
+## Usage
+
+First edit your `alire.toml` file and add the following elements:
+ - Add `embedded_nrf52832` in the dependency list:
+   ```toml
+   [[depends-on]]
+   embedded_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
+   ```ada
+   with "ravenscar_build.gpr";
+   ```
+ - Specify the `Target` and `Runtime` attributes:
+   ```ada
+      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>"]
+maintainers-logins = ["damaki"]
+licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
+tags = ["embedded", "runtime"]
+website = "https://github.com/damaki/nrf52-runtimes"
+
+project-files = ['runtime_build.gpr', 'ravenscar_build.gpr']
+
+[configuration]
+generate_gpr = false
+generate_c = false
+output_dir = "gnat_user"
+
+[configuration.variables]
+Time_Base = { type = "Enum", values = ["RTC0", "RTC1", "RTC2"], default = "RTC2" }
+LFCLK_Src = { type = "Enum", values = ["Xtal", "RC", "Synth"], default = "Xtal" }
+Use_SWO_Trace = { type = "Boolean", default = true }
+Use_Reset_Pin = { type = "Boolean", default = true }
+
+[[depends-on]]
+gnat_arm_elf = "^15"
+
+[origin]
+hashes = [
+"sha256:2e0886be33f99b8790a54143fb18337899a8cb5a97c326d2372305ded3043b47",
+"sha512:f41a176951dc685be814392ddf9f10a6c2145aa774b7e0ef8ed7389bdf0a0c10dffd1efa42fb502c1a9e89cd6432f2f959dd59192f3349f59b76f09f8ce9c07e",
+]
+url = "https://github.com/damaki/nrf52-runtimes/releases/download/v15.0.1/embedded-nrf52832-15.0.1.tar.gz"
+
@@ -0,0 +1,56 @@
+name = "embedded_nrf52833"
+description = "embedded runtime for the nRF52833 SoC"
+version = "14.1.1"
+
+long-description = """
+## Usage
+
+First edit your `alire.toml` file and add the following elements:
+ - Add `embedded_nrf52833` in the dependency list:
+   ```toml
+   [[depends-on]]
+   embedded_nrf52833 = "*"
+   ```
+
+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
+   ```ada
+   with "ravenscar_build.gpr";
+   ```
+ - Specify the `Target` and `Runtime` attributes:
+   ```ada
+      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>"]
+maintainers-logins = ["damaki"]
+licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
+tags = ["embedded", "runtime"]
+website = "https://github.com/damaki/nrf52-runtimes"
+
+project-files = ['runtime_build.gpr', 'ravenscar_build.gpr']
+
+[configuration]
+generate_gpr = false
+generate_c = false
+output_dir = "gnat_user"
+
+[configuration.variables]
+Time_Base = { type = "Enum", values = ["RTC0", "RTC1", "RTC2"], default = "RTC2" }
+LFCLK_Src = { type = "Enum", values = ["Xtal", "RC", "Synth"], default = "Xtal" }
+Use_SWO_Trace = { type = "Boolean", default = true }
+Use_Reset_Pin = { type = "Boolean", default = true }
+
+[[depends-on]]
+gnat_arm_elf = "^14"
+
+[origin]
+hashes = [
+"sha256:e7de1aba08c2cff0ae144964491c89cfcc687f4ffaf00b688e3d74a6089a2f8c",
+"sha512:773526c9b16eb8a1f33773b7e461777f2ed0dd40dd072b7e8cb4e91dca5733fd170d38cf318f015c97031c4b300c2be878e1e21175912e0d524df6b07be82c06",
+]
+url = "https://github.com/damaki/nrf52-runtimes/releases/download/v14.1.1/embedded-nrf52833-14.1.1.tar.gz"
+
@@ -0,0 +1,56 @@
+name = "embedded_nrf52833"
+description = "embedded runtime for the nRF52833 SoC"
+version = "15.0.1"
+
+long-description = """
+## Usage
+
+First edit your `alire.toml` file and add the following elements:
+ - Add `embedded_nrf52833` in the dependency list:
+   ```toml
+   [[depends-on]]
+   embedded_nrf52833 = "*"
+   ```
+
+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
+   ```ada
+   with "ravenscar_build.gpr";
+   ```
+ - Specify the `Target` and `Runtime` attributes:
+   ```ada
+      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>"]
+maintainers-logins = ["damaki"]
+licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
+tags = ["embedded", "runtime"]
+website = "https://github.com/damaki/nrf52-runtimes"
+
+project-files = ['runtime_build.gpr', 'ravenscar_build.gpr']
+
+[configuration]
+generate_gpr = false
+generate_c = false
+output_dir = "gnat_user"
+
+[configuration.variables]
+Time_Base = { type = "Enum", values = ["RTC0", "RTC1", "RTC2"], default = "RTC2" }
+LFCLK_Src = { type = "Enum", values = ["Xtal", "RC", "Synth"], default = "Xtal" }
+Use_SWO_Trace = { type = "Boolean", default = true }
+Use_Reset_Pin = { type = "Boolean", default = true }
+
+[[depends-on]]
+gnat_arm_elf = "^15"
+
+[origin]
+hashes = [
+"sha256:53892b7072fc04801c6f19ee789a2dc1cef68676251396e8dd43595ffa16ef7d",
+"sha512:55a095f651b1ed17d8da73fe1473f5e34dad8f92d238c768f718a741bd3cac50390d4cc7875e153b051d8bf03b61104e24395d63eff3a783ca06c95c4863d8ba",
+]
+url = "https://github.com/damaki/nrf52-runtimes/releases/download/v15.0.1/embedded-nrf52833-15.0.1.tar.gz"
+
@@ -0,0 +1,56 @@
+name = "embedded_nrf52840"
+description = "embedded runtime for the nRF52840 SoC"
+version = "14.1.1"
+
+long-description = """
+## Usage
+
+First edit your `alire.toml` file and add the following elements:
+ - Add `embedded_nrf52840` in the dependency list:
+   ```toml
+   [[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
+   ```ada
+   with "ravenscar_build.gpr";
+   ```
+ - Specify the `Target` and `Runtime` attributes:
+   ```ada
+      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>"]
+maintainers-logins = ["damaki"]
+licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
+tags = ["embedded", "runtime"]
+website = "https://github.com/damaki/nrf52-runtimes"
+
+project-files = ['runtime_build.gpr', 'ravenscar_build.gpr']
+
+[configuration]
+generate_gpr = false
+generate_c = false
+output_dir = "gnat_user"
+
+[configuration.variables]
+Time_Base = { type = "Enum", values = ["RTC0", "RTC1", "RTC2"], default = "RTC2" }
+LFCLK_Src = { type = "Enum", values = ["Xtal", "RC", "Synth"], default = "Xtal" }
+Use_SWO_Trace = { type = "Boolean", default = true }
+Use_Reset_Pin = { type = "Boolean", default = true }
+
+[[depends-on]]
+gnat_arm_elf = "^14"
+
+[origin]
+hashes = [
+"sha256:07e9c319a4c3a3795eb62d59c20f038c3abd09e1319767c8c895e3ddd0fdac75",
+"sha512:3870adfc430769e22e20ad6a2d284a97f5446d59c238a1410a2c838cfbed2ec4d5cbd62310ea11f00dbc1bf6fa6679e91138cd7f26649f5b6afd48c4bdc793b8",
+]
+url = "https://github.com/damaki/nrf52-runtimes/releases/download/v14.1.1/embedded-nrf52840-14.1.1.tar.gz"
+
@@ -0,0 +1,56 @@
+name = "embedded_nrf52840"
+description = "embedded runtime for the nRF52840 SoC"
+version = "15.0.1"
+
+long-description = """
+## Usage
+
+First edit your `alire.toml` file and add the following elements:
+ - Add `embedded_nrf52840` in the dependency list:
+   ```toml
+   [[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
+   ```ada
+   with "ravenscar_build.gpr";
+   ```
+ - Specify the `Target` and `Runtime` attributes:
+   ```ada
+      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>"]
+maintainers-logins = ["damaki"]
+licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
+tags = ["embedded", "runtime"]
+website = "https://github.com/damaki/nrf52-runtimes"
+
+project-files = ['runtime_build.gpr', 'ravenscar_build.gpr']
+
+[configuration]
+generate_gpr = false
+generate_c = false
+output_dir = "gnat_user"
+
+[configuration.variables]
+Time_Base = { type = "Enum", values = ["RTC0", "RTC1", "RTC2"], default = "RTC2" }
+LFCLK_Src = { type = "Enum", values = ["Xtal", "RC", "Synth"], default = "Xtal" }
+Use_SWO_Trace = { type = "Boolean", default = true }
+Use_Reset_Pin = { type = "Boolean", default = true }
+
+[[depends-on]]
+gnat_arm_elf = "^15"
+
+[origin]
+hashes = [
+"sha256:6d5667d8bc4b5c7123c1d3c1199e135dc9b696bfb84248db1e489e4bc4249a09",
+"sha512:b0d5f50b93eb87fdd8e2cc03a941dcbe9450de1e2cbe2fcf59d0d839bec94932185fcced2db0615bf66f571752778b2c32241045f169693f2ead00a694defe10",
+]
+url = "https://github.com/damaki/nrf52-runtimes/releases/download/v15.0.1/embedded-nrf52840-15.0.1.tar.gz"
+