)]}' { "repo": "third_party/github/FreeRTOS/FreeRTOS-Kernel", "url": "https://github.com/FreeRTOS/FreeRTOS-Kernel-Community-Supported-Ports", "revision": "f0618d9e2f4c5b0a3e472a2673a090e8ef836258", "path": "portable/ThirdParty/Community-Supported-Ports" }