Version 15.4.0 of my configurable bareboard runtime crates is now available.
There have been a few fixes and improvements since my previous announcement for v15.2.0:
Highlights in v15.3.0:
- Added runtime crates for the nRF54L family
- Fixed a linker error when using heap allocation on the light-tasking on Cortex-M0 runtimes (RP2040, STM32F0xx, STM32G0xx). Originally reported by pmunts.
- Some minor improvements to improve GNATprove handling
Highlights in v15.4.0:
- GNATprove no longer tries to analyse the runtime sources when analysing user’s projects. This greatly improves writing embedded SPARK code on projects that use these runtime crates, as GNATprove no longer emits error messages on runtime code that previously blocked the analysis.
- RP2040/RP2350: Fixed a crash during startup that could occur due to interrupts being enabled too early. Originally reported by krischik
- Interrupt stack sizes are now configurable for all runtimes
This brings the total list of supported targets to:
- Raspberry Pi RP2040
- Raspberry Pi RP2350 (Cortex-M33 cores)
- Nordic Semi nRF52 Series
- Nordic Semi nRF54L Series
- STMicroelectronics STM32F0xx Series
- STMicroelectronics STM32G0xx Series
- STMicroelectronics STM32G4xx Series