diff --git a/index/em/embedded_rp2040/embedded_rp2040-14.0.2.toml b/index/em/embedded_rp2040/embedded_rp2040-14.0.2.toml new file mode 100644 index 00000000..de395cc6 --- /dev/null +++ b/index/em/embedded_rp2040/embedded_rp2040-14.0.2.toml @@ -0,0 +1,93 @@ +name = "embedded_rp2040" +description = "embedded runtime for the rp2040 SoC" +version = "14.0.2" + +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 files. With this, gprbuild will compile the run-time before your application + ```ada + with "runtime_build.gpr"; + with "ravenscar_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 "] +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 = "^14" + +[origin] +hashes = [ +"sha256:770cdc0f5f66d02780badaca625a06ecc01ee884054cd795ef38e474e79b9c38", +"sha512:c307eecdfb1def8c9ed6971c146f0ffc3605d452407775cfbab10988118f8688921e7bd94cd65b656ccddb060d1025d5c434bcc184722136d925ad4ae3d3f9a1", +] +url = "https://github.com/damaki/rp-runtimes/releases/download/v14.0.2/embedded-rp2040-14.0.2.tar.gz" + diff --git a/index/em/embedded_rp2040/embedded_rp2040-15.1.2.toml b/index/em/embedded_rp2040/embedded_rp2040-15.1.2.toml new file mode 100644 index 00000000..a29bc445 --- /dev/null +++ b/index/em/embedded_rp2040/embedded_rp2040-15.1.2.toml @@ -0,0 +1,93 @@ +name = "embedded_rp2040" +description = "embedded runtime for the RP2040 SoC" +version = "15.1.2" + +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 files. With this, gprbuild will compile the run-time before your application + ```ada + with "runtime_build.gpr"; + with "ravenscar_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 "] +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:49cc293742fa038d7406dedfd6406e9818682a88ea42987320eaf5b2745055dc", +"sha512:76b7866166f2272a64f2beb8a7200c9cfd37ae93421c1a985aba9581a0891f8d7aabd46f042e1cfd526ca5a0892958796a780f0c9058fa0fee8340c2fe7dee40", +] +url = "https://github.com/damaki/rp-runtimes/releases/download/v15.1.2/embedded-rp2040-15.1.2.tar.gz" + diff --git a/index/em/embedded_rp2350/embedded_rp2350-15.1.2.toml b/index/em/embedded_rp2350/embedded_rp2350-15.1.2.toml new file mode 100644 index 00000000..5b07614a --- /dev/null +++ b/index/em/embedded_rp2350/embedded_rp2350-15.1.2.toml @@ -0,0 +1,96 @@ +name = "embedded_rp2350" +description = "embedded runtime for the RP2350 SoC" +version = "15.1.2" + +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 files. With this, gprbuild will compile the run-time before your application + ```ada + with "runtime_build.gpr"; + with "ravenscar_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 "] +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:6f315120a34f5c799cd3e55dd3e8327635d43d5dff06701b5bbe53fb243da2d6", +"sha512:504289dcf4c9aeb8d8cdab1c3fab25645dfc4ddae3c18bfe1206dafaead6bd205d7bfcb6585af11823379c2103b767263960fdf461da09381a023ca475210950", +] +url = "https://github.com/damaki/rp-runtimes/releases/download/v15.1.2/embedded-rp2350-15.1.2.tar.gz" + diff --git a/index/li/light_tasking_rp2040/light_tasking_rp2040-14.0.2.toml b/index/li/light_tasking_rp2040/light_tasking_rp2040-14.0.2.toml new file mode 100644 index 00000000..2c8ac5e4 --- /dev/null +++ b/index/li/light_tasking_rp2040/light_tasking_rp2040-14.0.2.toml @@ -0,0 +1,93 @@ +name = "light_tasking_rp2040" +description = "light-tasking runtime for the rp2040 SoC" +version = "14.0.2" + +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 files. With this, gprbuild will compile the run-time before your application + ```ada + with "runtime_build.gpr"; + with "ravenscar_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 "] +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 = "^14" + +[origin] +hashes = [ +"sha256:7063b4e91c0775235447338be20c97a49225f302e4daedfb10c058df9408b6f9", +"sha512:04992df68283392f562de55e56eba280e31f1954cae1d7ea7471efbd6d2963a2260a66d4f31afe0f2ef813d6bb5ad901e9737f70424698faeb4b6079fd9c7d31", +] +url = "https://github.com/damaki/rp-runtimes/releases/download/v14.0.2/light-tasking-rp2040-14.0.2.tar.gz" + diff --git a/index/li/light_tasking_rp2040/light_tasking_rp2040-15.1.2.toml b/index/li/light_tasking_rp2040/light_tasking_rp2040-15.1.2.toml new file mode 100644 index 00000000..01bc0f03 --- /dev/null +++ b/index/li/light_tasking_rp2040/light_tasking_rp2040-15.1.2.toml @@ -0,0 +1,93 @@ +name = "light_tasking_rp2040" +description = "light-tasking runtime for the RP2040 SoC" +version = "15.1.2" + +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 files. With this, gprbuild will compile the run-time before your application + ```ada + with "runtime_build.gpr"; + with "ravenscar_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 "] +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:d02273a896d073d94dfe314d6b6c29741aa1f7e287486718b39822cc111f1139", +"sha512:5a98eebccc340dd3ea75ee49b0ba4d4ad0ee44822ec9153ed73b3b63e5f2a491da4256493564ea430ee236a13475a98205ca7ace470fe4696392405267b529d5", +] +url = "https://github.com/damaki/rp-runtimes/releases/download/v15.1.2/light-tasking-rp2040-15.1.2.tar.gz" + diff --git a/index/li/light_tasking_rp2350/light_tasking_rp2350-15.1.2.toml b/index/li/light_tasking_rp2350/light_tasking_rp2350-15.1.2.toml new file mode 100644 index 00000000..b168a635 --- /dev/null +++ b/index/li/light_tasking_rp2350/light_tasking_rp2350-15.1.2.toml @@ -0,0 +1,96 @@ +name = "light_tasking_rp2350" +description = "light-tasking runtime for the RP2350 SoC" +version = "15.1.2" + +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 files. With this, gprbuild will compile the run-time before your application + ```ada + with "runtime_build.gpr"; + with "ravenscar_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 "] +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:95dce809e5400ea1f868415db336a76ba14bdc7b820e8c87e112fe4b71c2003e", +"sha512:b5198319682110e1775ceed5172373eb497acbdc2c7a0583cb10b15be9f6ef7ccd987a453f1a70adab00ddb0e84c6d8b293480ee0a36c2249142e92be859a6f1", +] +url = "https://github.com/damaki/rp-runtimes/releases/download/v15.1.2/light-tasking-rp2350-15.1.2.tar.gz" +