)]}'
{
  "FreeRTOS-Kernel": {
    "name": "third_party/github/FreeRTOS/FreeRTOS-Kernel",
    "clone_url": "https://pigweed.googlesource.com/third_party/github/FreeRTOS/FreeRTOS-Kernel"
  },
  "FreeRTOS-Kernel-Community-Supported-Ports": {
    "name": "third_party/github/FreeRTOS/FreeRTOS-Kernel-Community-Supported-Ports",
    "clone_url": "https://pigweed.googlesource.com/third_party/github/FreeRTOS/FreeRTOS-Kernel-Community-Supported-Ports"
  },
  "FreeRTOS-Kernel-Partner-Supported-Ports": {
    "name": "third_party/github/FreeRTOS/FreeRTOS-Kernel-Partner-Supported-Ports",
    "clone_url": "https://pigweed.googlesource.com/third_party/github/FreeRTOS/FreeRTOS-Kernel-Partner-Supported-Ports"
  }
}