source

light_tasking_rp2040

15.0.0

light-tasking runtime for the rp2040 SoC

GitHub Community CIResults All crate versions Download JSON

15.0.0

Usage

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

  • Add light_tasking_rp2040 in the dependency list:
    [[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
    with "runtime_build.gpr";
  • Specify the Target and Runtime attributes:
       for Target use runtime_build'Target;
   for Runtime ("Ada") use runtime_build'Runtime ("Ada");
  • specify the Linker switches:
    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>
Maintainer profiles
@damaki
Licenses
GPL-3.0-or-later WITH GCC-exception-3.1
Website
https://github.com/damaki/rp-runtimes
Repository
github.com/damaki/rp-runtimes
Release archive
github.com/damaki/rp-runtimes/releases/download/v15.0.0/light-tasking-rp2040-15.0.0.tar.gz
Tags
embedded, runtime
Project files
runtime_build.gpr, ravenscar_build.gpr
Manifest
index/li/light_tasking_rp2040/light_tasking_rp2040-15.0.0.toml
Build and platform metadata 2 fields
Configuration
{
  "generate_c": false,
  "output_dir": "gnat_user",
  "variables": {
    "Board": {
      "default": "rpi_pico",
      "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"
      ]
    },
    "Flash_Chip": {
      "default": "generic_qspi_128",
      "type": "Enum",
      "values": [
        "generic_qspi_128",
        "at25sf128a",
        "gd25q64c",
        "w25q16jv",
        "w25q32jv",
        "w25q64jv",
        "w25q128jv"
      ]
    },
    "Interrupt_Secondary_Stack_Size": {
      "default": 128,
      "first": 1,
      "type": "Integer"
    },
    "Interrupt_Stack_Size": {
      "default": 1024,
      "first": 1,
      "type": "Integer"
    },
    "Max_CPUs": {
      "default": 2,
      "first": 1,
      "last": 2,
      "type": "Integer"
    },
    "PLL_Sys_Post_Div_1": {
      "default": 6,
      "first": 1,
      "last": 7,
      "type": "Integer"
    },
    "PLL_Sys_Post_Div_2": {
      "default": 2,
      "first": 1,
      "last": 7,
      "type": "Integer"
    },
    "PLL_Sys_Reference_Div": {
      "default": 1,
      "first": 1,
      "last": 63,
      "type": "Integer"
    },
    "PLL_Sys_VCO_Multiple": {
      "default": 125,
      "first": 16,
      "last": 320,
      "type": "Integer"
    },
    "PLL_USB_Post_Div_1": {
      "default": 5,
      "first": 1,
      "last": 7,
      "type": "Integer"
    },
    "PLL_USB_Post_Div_2": {
      "default": 2,
      "first": 1,
      "last": 7,
      "type": "Integer"
    },
    "PLL_USB_Reference_Div": {
      "default": 1,
      "first": 1,
      "last": 63,
      "type": "Integer"
    },
    "PLL_USB_VCO_Multiple": {
      "default": 40,
      "first": 16,
      "last": 320,
      "type": "Integer"
    },
    "Time_Base": {
      "default": "ALARM3",
      "type": "Enum",
      "values": [
        "ALARM0",
        "ALARM1",
        "ALARM2",
        "ALARM3"
      ]
    },
    "XOSC_Frequency": {
      "default": 12000000,
      "first": 0,
      "type": "Integer"
    },
    "XOSC_Startup_Delay_Mult": {
      "default": 64,
      "first": 1,
      "last": 16383,
      "type": "Integer"
    }
  }
}
Additional origin data
{
  "hashes": [
    "sha256:41b3ac5fbf69a8f33a40cbfcf954174bb674d875ea33da8f663de178177df392",
    "sha512:038ca76da28b28229154cbfc10ee03197f788b8a7381f2eb2c6a825c4ce78fcecf805ce2e9aeffd4fcb620572249587623473d4566a840466b2210b254f6df1d"
  ]
}