portable/ThirdParty/Community-Supported-Ports - third_party/github/FreeRTOS/FreeRTOS-Kernel - Git at Google

Submodule link to bae4c7aa19009825ba48071a8fe25dcb8be84880 of https://github.com/FreeRTOS/FreeRTOS-Kernel-Community-Supported-Ports