diff --git a/index/em/embedded_rp2040/embedded_rp2040-14.0.1.toml b/index/em/embedded_rp2040/embedded_rp2040-14.0.1.toml new file mode 100644 index 00000000..d686b301 --- /dev/null +++ b/index/em/embedded_rp2040/embedded_rp2040-14.0.1.toml @@ -0,0 +1,93 @@ +name = "embedded_rp2040" +description = "embedded runtime for the rp2040 SoC" +version = "14.0.1" + +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:3c00e0b075d42cc8244ea2b9b9adac54cfecd157deeb25a7c62baa08c0fd0c1a", +"sha512:b3b5416313ad652b8d1f02dbb3f6c02de8fe34cd6685a6fe1fbc3467b0eb770a10bfcaab79656657557f78118bc1e7e30f9b2b8127402ae4c633f7ba8f7bb5de", +] +url = "https://github.com/damaki/rp-runtimes/releases/download/v14.0.1/embedded-rp2040-14.0.1.tar.gz" + diff --git a/index/em/embedded_rp2040/embedded_rp2040-15.1.1.toml b/index/em/embedded_rp2040/embedded_rp2040-15.1.1.toml new file mode 100644 index 00000000..ae551874 --- /dev/null +++ b/index/em/embedded_rp2040/embedded_rp2040-15.1.1.toml @@ -0,0 +1,93 @@ +name = "embedded_rp2040" +description = "embedded runtime for the RP2040 SoC" +version = "15.1.1" + +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:7824a8971bef84157dce7e0114cd3e1103533c3ff381282ea092534d022e5890", +"sha512:a50d24d31c22244e356e3034706d97bed9dd8fe1f705fa570414f11a9360943c602aec630815e620c796e2ebe55fca7290cbd5e2c51d2128e4af8372f756dddb", +] +url = "https://github.com/damaki/rp-runtimes/releases/download/v15.1.1/embedded-rp2040-15.1.1.tar.gz" + diff --git a/index/em/embedded_rp2350/embedded_rp2350-15.1.1.toml b/index/em/embedded_rp2350/embedded_rp2350-15.1.1.toml new file mode 100644 index 00000000..7e20061d --- /dev/null +++ b/index/em/embedded_rp2350/embedded_rp2350-15.1.1.toml @@ -0,0 +1,96 @@ +name = "embedded_rp2350" +description = "embedded runtime for the RP2350 SoC" +version = "15.1.1" + +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:d626ed387c624e3e6d61c45aea912e56c1405614b378b400bdd85f672e6536ba", +"sha512:fb4da9f41f86fe429da907af513f95ff7506aa19d132529ddc036b687e2090b8489bc334d73cc8a5cc924fda5e59d25921677ba61c4b9faf62a230d30d698693", +] +url = "https://github.com/damaki/rp-runtimes/releases/download/v15.1.1/embedded-rp2350-15.1.1.tar.gz" + diff --git a/index/li/light_tasking_rp2040/light_tasking_rp2040-14.0.1.toml b/index/li/light_tasking_rp2040/light_tasking_rp2040-14.0.1.toml new file mode 100644 index 00000000..102b530d --- /dev/null +++ b/index/li/light_tasking_rp2040/light_tasking_rp2040-14.0.1.toml @@ -0,0 +1,93 @@ +name = "light_tasking_rp2040" +description = "light-tasking runtime for the rp2040 SoC" +version = "14.0.1" + +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:aab371f8beac4b9f6e64df4e1755c2b447756a9951514ec2a28f12ee4ad95e69", +"sha512:80610c5f62a8264e605572daff7623e68c65bc0c6e3810f69facb754cd16934b5748ff82a8984340612f79a6bf08cab6d9f5b26ad6ffe2528713e60a6a784ea4", +] +url = "https://github.com/damaki/rp-runtimes/releases/download/v14.0.1/light-tasking-rp2040-14.0.1.tar.gz" + diff --git a/index/li/light_tasking_rp2040/light_tasking_rp2040-15.1.1.toml b/index/li/light_tasking_rp2040/light_tasking_rp2040-15.1.1.toml new file mode 100644 index 00000000..6a2ff22f --- /dev/null +++ b/index/li/light_tasking_rp2040/light_tasking_rp2040-15.1.1.toml @@ -0,0 +1,93 @@ +name = "light_tasking_rp2040" +description = "light-tasking runtime for the RP2040 SoC" +version = "15.1.1" + +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:fa71836ada940377c5a02565134265b539a7e44b915a809cc0e8932076938472", +"sha512:66146d710d13027aba5dbbba7be7538a0b0fde8c1f54ec8fb2c01903b959c0e5cd82c14b66404d89d30548baf0e28f3c3b446b110bc1f2240874d28c78ee8dc5", +] +url = "https://github.com/damaki/rp-runtimes/releases/download/v15.1.1/light-tasking-rp2040-15.1.1.tar.gz" + diff --git a/index/li/light_tasking_rp2350/light_tasking_rp2350-15.1.1.toml b/index/li/light_tasking_rp2350/light_tasking_rp2350-15.1.1.toml new file mode 100644 index 00000000..22bb0d6a --- /dev/null +++ b/index/li/light_tasking_rp2350/light_tasking_rp2350-15.1.1.toml @@ -0,0 +1,96 @@ +name = "light_tasking_rp2350" +description = "light-tasking runtime for the RP2350 SoC" +version = "15.1.1" + +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:4e049470e4a326015b3b99721ca81cf25b7eadfd17efd13224a73c874b99d2f3", +"sha512:9297b9cc235a34c67c1efbc52d24795476635a9ec8d6574f2d9fa8ddbcf30e83c2cc2e3dd718e546497315a2aa2dbc65f5784ab31fe70a1f45ae824d66710343", +] +url = "https://github.com/damaki/rp-runtimes/releases/download/v15.1.1/light-tasking-rp2350-15.1.1.tar.gz" +