)]}'
{
  "id": "795bc19ae17a6d7270bb49e69dceff4c768bddf9",
  "repo": "third_party/kernel",
  "revision": "4d64e87ddd30cd19fb16caaae5cc3fc81a135e16",
  "path": "drivers/tee/optee/optee_msg.h"
}