Fixed buffer underflow in `prvSelectHighestPriorityTask`.#607

Closed

tobireinhard wants to merge 2 commits intoFreeRTOS:smpfrom

Tobias-internship-AWS-2022:pr/bug-fix/switch_context--buffer_underflow

Commits on Dec 30, 2022

Fixed buffer underflow in `prvSelectHighestPriorityTask`.
tobireinhard
committed

Commits on Jan 6, 2023

Update kernel header check python version
kstribrnAmzn
committed