mirror of
https://github.com/FreeRTOS/FreeRTOS-Kernel.git
synced 2025-07-28 15:53:52 +02:00
These were missed when PR #59 was merged. Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com> Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>