)]}'
{
  "generic-arm64": {
    "name": "trusty/device/arm/generic-arm64",
    "clone_url": "https://android.googlesource.com/trusty/device/arm/generic-arm64"
  },
  "vexpress-a15": {
    "name": "trusty/device/arm/vexpress-a15",
    "clone_url": "https://android.googlesource.com/trusty/device/arm/vexpress-a15"
  }
}