alire/alire-index-community
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

rp-runtimes 15.1.0 (#1646)

Browse Source
This commit is contained in:
Daniel King
2025-10-24 10:36:17 +01:00
committed by GitHub
parent 960e46ecbb
commit 3ef44734e7
4 changed files with 374 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
index/em/embedded_rp2040/embedded_rp2040-15.1.0.toml
+92
View File
@@ -0,0 +1,92 @@
name = "embedded_rp2040"
description = "embedded runtime for the RP2040 SoC"
version = "15.1.0"
long-description = """
## Usage
First edit your `alire.toml` file and add the following elements:
- Add `embedded_rp2040` in the dependency list:
```toml
[[depends-on]]
embedded_rp2040 = "*"
```
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 "runtime_build.gpr";
```
- Specify the `Target` and `Runtime` attributes:
```ada
for Target use runtime_build'Target;
for Runtime ("Ada") use runtime_build'Runtime ("Ada");
```
- specify the `Linker` switches:
```ada
package Linker is
for Switches ("Ada") use Runtime_Build.Linker_Switches & ("-Wl,--gc-sections");
end Linker;
```
Note that `--gc-switches` is recommended as it reduces flash and RAM usage
by removing unused code and data, but it is not mandatory.
See the project website for details on configuring the runtime.
"""
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/rp-runtimes"
project-files = ['runtime_build.gpr', 'ravenscar_build.gpr']
[configuration]
generate_c = false
output_dir = "gnat_user"
[configuration.variables]
# Configures how many of the two cores the runtime uses
Max_CPUs = { type = "Integer", first = 1, last = 2, default = 2 }
# Configures which ALARM the runtime uses to implement the semantics of
# Ada.Real_Time
Time_Base = { type = "Enum", values = ["ALARM0", "ALARM1", "ALARM2", "ALARM3"], default = "ALARM3" }
# Configures the runtime for a specific board.
# For "generic" boards, the board characteristics (flash chip, XOSC frequency)
# can be configured manually.
Board = { type = "Enum", values = [ "generic_board", "rpi_pico", "adafruit_feather_rp2040", "adafruit_itsybitsy_rp2040", "adafruit_macropad_rp2040", "adafruit_qt2040_trinkey", "adafruit_qtpy_rp2040", "arduino_nano_rp2040_connect", "pimoroni_interstate75", "pimoroni_keybow2040", "pimoroni_pga2040", "pimoroni_picolipo_4m", "pimoroni_picolipo_16m", "pimoroni_picosystem", "pimoroni_plasma2040", "pimoroni_tiny2040", "sparkfun_micromod", "sparkfun_promicro", "sparkfun_thingplus" ], default = "rpi_pico" }
# These configure the board parameters for when Board is "generic_board".
# These are ignored when Board is not "generic_board".
XOSC_Frequency = { type = "Integer", first = 0, default = 12000000 }
XOSC_Startup_Delay_Mult = { type = "Integer", first = 1, last = 16383, default = 64 }
Flash_Chip = { type = "Enum", values = [ "generic_qspi_128", "at25sf128a", "gd25q64c", "w25q16jv", "w25q32jv", "w25q64jv", "w25q128jv"], default = "generic_qspi_128" }
# Clock configuration
PLL_Sys_Reference_Div = { type = "Integer", first = 1, last = 63, default = 1 }
PLL_Sys_VCO_Multiple = { type = "Integer", first = 16, last = 320, default = 125 }
PLL_Sys_Post_Div_1 = { type = "Integer", first = 1, last = 7, default = 6 }
PLL_Sys_Post_Div_2 = { type = "Integer", first = 1, last = 7, default = 2 }
PLL_USB_Reference_Div = { type = "Integer", first = 1, last = 63, default = 1 }
PLL_USB_VCO_Multiple = { type = "Integer", first = 16, last = 320, default = 40 }
PLL_USB_Post_Div_1 = { type = "Integer", first = 1, last = 7, default = 5 }
PLL_USB_Post_Div_2 = { type = "Integer", first = 1, last = 7, default = 2 }
Interrupt_Stack_Size = { type = "Integer", first = 1, default = 1024 }
Interrupt_Secondary_Stack_Size = { type = "Integer", first = 1, default = 128 }
[[depends-on]]
gnat_arm_elf = "^15"
[origin]
hashes = [
"sha256:b18ecd0b7288e52ec00bb6fcf84521b3aa32c7f6fb4b99048f0cbd71e5048c5d",
"sha512:189d4108d2493f9f6e64938a61be34e13ebfdd828d82bf4265689cadc0e94f32030b420d70066bb41c1ad5558344df11db5b1adc023f0748cbfc0ea38bb36e6b",
]
url = "https://github.com/damaki/rp-runtimes/releases/download/v15.1.0/embedded-rp2040-15.1.0.tar.gz"
index/em/embedded_rp2350/embedded_rp2350-15.1.0.toml
+95
View File
@@ -0,0 +1,95 @@
name = "embedded_rp2350"
description = "embedded runtime for the RP2350 SoC"
version = "15.1.0"
long-description = """
## Usage
First edit your `alire.toml` file and add the following elements:
- Add `embedded_rp2350` in the dependency list:
```toml
[[depends-on]]
embedded_rp2350 = "*"
```
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 "runtime_build.gpr";
```
- Specify the `Target` and `Runtime` attributes:
```ada
for Target use runtime_build'Target;
for Runtime ("Ada") use runtime_build'Runtime ("Ada");
```
- specify the `Linker` switches:
```ada
package Linker is
for Switches ("Ada") use Runtime_Build.Linker_Switches & ("-Wl,--gc-sections");
end Linker;
```
Note that `--gc-switches` is recommended as it reduces flash and RAM usage
by removing unused code and data, but it is not mandatory.
See the project website for details on configuring the runtime.
"""
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/rp-runtimes"
project-files = ['runtime_build.gpr', 'ravenscar_build.gpr']
[configuration]
output_dir = "gnat_user"
[configuration.variables]
# Configures how many of the two cores the runtime uses
Max_CPUs = { type = "Integer", first = 1, last = 2, default = 2 }
# Configures the Arm security level that the partition will run at (Secure or Non-Secure)
Security_Level = { type = "Enum", values = [ "Secure", "Non_Secure" ], default = "Secure" }
# Configures which ALARM the runtime uses to implement the semantics of
# Ada.Real_Time
Time_Base_Timer = { type = "Enum", values = [ "TIMER0", "TIMER1" ], default = "TIMER0" }
Time_Base_Alarm = { type = "Enum", values = [ "ALARM0", "ALARM1", "ALARM2", "ALARM3" ], default = "ALARM3" }
# Configures the runtime for a specific board.
# For "generic" boards, the board characteristics (flash chip, XOSC frequency)
# can be configured manually.
Board = { type = "Enum", values = [ "generic_board", "rpi_pico2", "pimoroni_pico_lipo_2_xl_w", "pimoroni_pico_plus_2", "pimoroni_plasma_2350", "pimoroni_tiny_2350", "pimoroni_rp2350_stamp_xl", "pimoroni_rp2350_stamp", "pimoroni_pga2350", "adafruit_feather_rp2350", "adafruit_metro_rp2350", "adafruit_fruit_jam" ], default = "rpi_pico2" }
# These configure the board parameters for when Board is "generic_board".
# These are ignored when Board is not "generic_board".
XOSC_Frequency = { type = "Integer", first = 0, default = 12000000 }
XOSC_Startup_Delay_Mult = { type = "Integer", first = 1, last = 16383, default = 64 }
Flash_Size = { type = "Integer", first = 2, last = 16, default = 2 }
# Clock configuration
PLL_Sys_Reference_Div = { type = "Integer", first = 1, last = 63, default = 1 }
PLL_Sys_VCO_Multiple = { type = "Integer", first = 16, last = 320, default = 125 }
PLL_Sys_Post_Div_1 = { type = "Integer", first = 1, last = 7, default = 5 }
PLL_Sys_Post_Div_2 = { type = "Integer", first = 1, last = 7, default = 2 }
PLL_USB_Reference_Div = { type = "Integer", first = 1, last = 63, default = 1 }
PLL_USB_VCO_Multiple = { type = "Integer", first = 16, last = 320, default = 40 }
PLL_USB_Post_Div_1 = { type = "Integer", first = 1, last = 7, default = 5 }
PLL_USB_Post_Div_2 = { type = "Integer", first = 1, last = 7, default = 2 }
Interrupt_Stack_Size = { type = "Integer", first = 1, default = 1024 }
Interrupt_Secondary_Stack_Size = { type = "Integer", first = 1, default = 128 }
[[depends-on]]
gnat_arm_elf = "^15"
[origin]
hashes = [
"sha256:ce2a499a3f876579d9cda96d10b949e38d519dcdfd68519113e0a11c22c840e1",
"sha512:0de5c283a5ed14c3067b44423a7f9b0ad51eda9a7edda80cadf4fa6f8e1e0e8cc119351da0e8dc412aaab7c33deac59e0f161bb85cbba202f6a8d8028a54d3f2",
]
url = "https://github.com/damaki/rp-runtimes/releases/download/v15.1.0/embedded-rp2350-15.1.0.tar.gz"
index/li/light_tasking_rp2040/light_tasking_rp2040-15.1.0.toml
+92
View File
@@ -0,0 +1,92 @@
name = "light_tasking_rp2040"
description = "light-tasking runtime for the RP2040 SoC"
version = "15.1.0"
long-description = """
## Usage
First edit your `alire.toml` file and add the following elements:
- Add `light_tasking_rp2040` in the dependency list:
```toml
[[depends-on]]
light_tasking_rp2040 = "*"
```
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 "runtime_build.gpr";
```
- Specify the `Target` and `Runtime` attributes:
```ada
for Target use runtime_build'Target;
for Runtime ("Ada") use runtime_build'Runtime ("Ada");
```
- specify the `Linker` switches:
```ada
package Linker is
for Switches ("Ada") use Runtime_Build.Linker_Switches & ("-Wl,--gc-sections");
end Linker;
```
Note that `--gc-switches` is recommended as it reduces flash and RAM usage
by removing unused code and data, but it is not mandatory.
See the project website for details on configuring the runtime.
"""
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/rp-runtimes"
project-files = ['runtime_build.gpr', 'ravenscar_build.gpr']
[configuration]
generate_c = false
output_dir = "gnat_user"
[configuration.variables]
# Configures how many of the two cores the runtime uses
Max_CPUs = { type = "Integer", first = 1, last = 2, default = 2 }
# Configures which ALARM the runtime uses to implement the semantics of
# Ada.Real_Time
Time_Base = { type = "Enum", values = ["ALARM0", "ALARM1", "ALARM2", "ALARM3"], default = "ALARM3" }
# Configures the runtime for a specific board.
# For "generic" boards, the board characteristics (flash chip, XOSC frequency)
# can be configured manually.
Board = { type = "Enum", values = [ "generic_board", "rpi_pico", "adafruit_feather_rp2040", "adafruit_itsybitsy_rp2040", "adafruit_macropad_rp2040", "adafruit_qt2040_trinkey", "adafruit_qtpy_rp2040", "arduino_nano_rp2040_connect", "pimoroni_interstate75", "pimoroni_keybow2040", "pimoroni_pga2040", "pimoroni_picolipo_4m", "pimoroni_picolipo_16m", "pimoroni_picosystem", "pimoroni_plasma2040", "pimoroni_tiny2040", "sparkfun_micromod", "sparkfun_promicro", "sparkfun_thingplus" ], default = "rpi_pico" }
# These configure the board parameters for when Board is "generic_board".
# These are ignored when Board is not "generic_board".
XOSC_Frequency = { type = "Integer", first = 0, default = 12000000 }
XOSC_Startup_Delay_Mult = { type = "Integer", first = 1, last = 16383, default = 64 }
Flash_Chip = { type = "Enum", values = [ "generic_qspi_128", "at25sf128a", "gd25q64c", "w25q16jv", "w25q32jv", "w25q64jv", "w25q128jv"], default = "generic_qspi_128" }
# Clock configuration
PLL_Sys_Reference_Div = { type = "Integer", first = 1, last = 63, default = 1 }
PLL_Sys_VCO_Multiple = { type = "Integer", first = 16, last = 320, default = 125 }
PLL_Sys_Post_Div_1 = { type = "Integer", first = 1, last = 7, default = 6 }
PLL_Sys_Post_Div_2 = { type = "Integer", first = 1, last = 7, default = 2 }
PLL_USB_Reference_Div = { type = "Integer", first = 1, last = 63, default = 1 }
PLL_USB_VCO_Multiple = { type = "Integer", first = 16, last = 320, default = 40 }
PLL_USB_Post_Div_1 = { type = "Integer", first = 1, last = 7, default = 5 }
PLL_USB_Post_Div_2 = { type = "Integer", first = 1, last = 7, default = 2 }
Interrupt_Stack_Size = { type = "Integer", first = 1, default = 1024 }
Interrupt_Secondary_Stack_Size = { type = "Integer", first = 1, default = 128 }
[[depends-on]]
gnat_arm_elf = "^15"
[origin]
hashes = [
"sha256:2e19ff7b6cc09661793362bc764dabb8bf9095084abe892fc03e4102175ac717",
"sha512:1a7a349b563a033faea0461744955088d34308b54d1a0aa3fc54eb540353b564ad8c97d931dff97c064175f2928d1d2fc0e4cdced77d936a228875d040ba49a1",
]
url = "https://github.com/damaki/rp-runtimes/releases/download/v15.1.0/light-tasking-rp2040-15.1.0.tar.gz"
index/li/light_tasking_rp2350/light_tasking_rp2350-15.1.0.toml
+95
View File
@@ -0,0 +1,95 @@
name = "light_tasking_rp2350"
description = "light-tasking runtime for the RP2350 SoC"
version = "15.1.0"
long-description = """
## Usage
First edit your `alire.toml` file and add the following elements:
- Add `light_tasking_rp2350` in the dependency list:
```toml
[[depends-on]]
light_tasking_rp2350 = "*"
```
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 "runtime_build.gpr";
```
- Specify the `Target` and `Runtime` attributes:
```ada
for Target use runtime_build'Target;
for Runtime ("Ada") use runtime_build'Runtime ("Ada");
```
- specify the `Linker` switches:
```ada
package Linker is
for Switches ("Ada") use Runtime_Build.Linker_Switches & ("-Wl,--gc-sections");
end Linker;
```
Note that `--gc-switches` is recommended as it reduces flash and RAM usage
by removing unused code and data, but it is not mandatory.
See the project website for details on configuring the runtime.
"""
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/rp-runtimes"
project-files = ['runtime_build.gpr', 'ravenscar_build.gpr']
[configuration]
output_dir = "gnat_user"
[configuration.variables]
# Configures how many of the two cores the runtime uses
Max_CPUs = { type = "Integer", first = 1, last = 2, default = 2 }
# Configures the Arm security level that the partition will run at (Secure or Non-Secure)
Security_Level = { type = "Enum", values = [ "Secure", "Non_Secure" ], default = "Secure" }
# Configures which ALARM the runtime uses to implement the semantics of
# Ada.Real_Time
Time_Base_Timer = { type = "Enum", values = [ "TIMER0", "TIMER1" ], default = "TIMER0" }
Time_Base_Alarm = { type = "Enum", values = [ "ALARM0", "ALARM1", "ALARM2", "ALARM3" ], default = "ALARM3" }
# Configures the runtime for a specific board.
# For "generic" boards, the board characteristics (flash chip, XOSC frequency)
# can be configured manually.
Board = { type = "Enum", values = [ "generic_board", "rpi_pico2", "pimoroni_pico_lipo_2_xl_w", "pimoroni_pico_plus_2", "pimoroni_plasma_2350", "pimoroni_tiny_2350", "pimoroni_rp2350_stamp_xl", "pimoroni_rp2350_stamp", "pimoroni_pga2350", "adafruit_feather_rp2350", "adafruit_metro_rp2350", "adafruit_fruit_jam" ], default = "rpi_pico2" }
# These configure the board parameters for when Board is "generic_board".
# These are ignored when Board is not "generic_board".
XOSC_Frequency = { type = "Integer", first = 0, default = 12000000 }
XOSC_Startup_Delay_Mult = { type = "Integer", first = 1, last = 16383, default = 64 }
Flash_Size = { type = "Integer", first = 2, last = 16, default = 2 }
# Clock configuration
PLL_Sys_Reference_Div = { type = "Integer", first = 1, last = 63, default = 1 }
PLL_Sys_VCO_Multiple = { type = "Integer", first = 16, last = 320, default = 125 }
PLL_Sys_Post_Div_1 = { type = "Integer", first = 1, last = 7, default = 5 }
PLL_Sys_Post_Div_2 = { type = "Integer", first = 1, last = 7, default = 2 }
PLL_USB_Reference_Div = { type = "Integer", first = 1, last = 63, default = 1 }
PLL_USB_VCO_Multiple = { type = "Integer", first = 16, last = 320, default = 40 }
PLL_USB_Post_Div_1 = { type = "Integer", first = 1, last = 7, default = 5 }
PLL_USB_Post_Div_2 = { type = "Integer", first = 1, last = 7, default = 2 }
Interrupt_Stack_Size = { type = "Integer", first = 1, default = 1024 }
Interrupt_Secondary_Stack_Size = { type = "Integer", first = 1, default = 128 }
[[depends-on]]
gnat_arm_elf = "^15"
[origin]
hashes = [
"sha256:9657ca1ba603dbe7cad6b2e612d59f2798591f71aa6093d6818dbc329f71d813",
"sha512:e833325065dcda6038d92fbcc60d4ef7b6a4dc91f2d61b8ade242db65b999d41a5f7aa7d6043ecd44dc4ef788956d64ba5149c385e7ceff819391937683d983f",
]
url = "https://github.com/damaki/rp-runtimes/releases/download/v15.1.0/light-tasking-rp2350-15.1.0.tar.gz"