mirror of
https://github.com/FreeRTOS/FreeRTOS-Kernel.git
synced 2025-07-29 00:03:54 +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>