Usage

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

• Add light_tasking_stm32g4xx in the dependency list:

  [[depends-on]]
  light_tasking_stm32g4xx = "*"
  

• if applicable, apply any runtime configuration variables (see below).

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;
  end Linker;
  

The runtime is configurable via Alire crate configuration variables. See the project website for full details of the available options.

By default, the runtime is configured for the STM32G474RE. If you are using a different MCU, then you will need to configure the runtime by adding the following to your alire.toml. For example, to configure the runtime for the STM32G431K6:

[configuration.values]
light_tasking_stm32g4xx.MCU_Sub_Family        = "G431"
light_tasking_stm32g4xx.MCU_Flash_Memory_Size = "6"

By default, the runtime configures the clock tree for a 170 MHz system clock from the high-speed internal (HSI) oscillator. If you want a different clock configuration, then use the crate configuration variables to specify the configuration you wish to use. For example, to configure the runtime to generate a 170 MHz system clock from a 24 MHz HSE crystal oscillator:

[configuration.values]
# Configure a 24 MHz HSE crystal oscillator
light_tasking_stm32g4xx.HSE_Clock_Frequency = 24000000
light_tasking_stm32g4xx.HSE_Bypass = false

# Select PLLRCLK as the SYSCLK source
light_tasking_stm32g4xx.SYSCLK_Src = "PLLRCLK"

# Configure the PLL VCO to run at 340 MHz from the 24 MHz HSE (fVCO = fHSE * (N/M))
light_tasking_stm32g4xx.PLL_Src = "HSE"
light_tasking_stm32g4xx.PLL_N_Mul = 85
light_tasking_stm32g4xx.PLL_M_Div = 6

# Configure the PLLRCLK to run at 170 MHz from the 340 MHz VCO.
light_tasking_stm32g4xx.PLL_R_Div = 2

# Configure the AHB and APB to also run at 170 MHz
light_tasking_stm32g4xx.AHB_Pre  = "DIV1"
light_tasking_stm32g4xx.APB1_Pre = "DIV1"
light_tasking_stm32g4xx.APB2_Pre = "DIV1"

The runtime will generate a compile time error when an invalid PLL configuration is set.

By default the PLL’s Q and P clocks are enabled. If you don’t need them, then you can disable them via the crate configuration:

[configuration.values]
light_tasking_stm32g4xx.PLL_Q_Enable = false
light_tasking_stm32g4xx.PLL_P_Enable = false

The runtime will enable the PLL only when either PLL_Q_Enable or PLL_P_Enable is true, or when SYSCLK_Src = "PLLRCLK".

The interrupt stack sizes are also configurable:

[configuration.values]
light_tasking_stm32g4xx.Interrupt_Stack_Size = 1024
light_tasking_stm32g4xx.Interrupt_Secondary_Stack_Size = 128