)]}'
{
  "id": "9a54b331f938fcfc02d66a22873b8d735369d8ad",
  "repo": "third_party/kernel",
  "revision": "44db6154b00a43d87634fd0d35292aec1d0c14c7",
  "path": "include/linux/tboot.h"
}