Repository navigation

[pull] main from FreeRTOS:main - #32

Merged

pull[bot] merged 2 commits into

rawalexe:mainfrom

Aug 26, 2026

Merged

[pull] main from FreeRTOS:main#32
pull[bot] merged 2 commits into
rawalexe:mainfrom
FreeRTOS:main

Commits on Aug 26, 2026
- Update Kernel to V11.3.1, add unit tests for xTaskPeriodicDelay (#1429)
  kstribrnAmzn
  authored
  6bd5780
- Account for QueueSet checks in CBMC proofs (#1431)
  kstribrnAmzn
  authored
  f4fcc3b