)]}'
{
  "id": "85ca8b02695a2002545b40565132bac23b47e93f",
  "repo": "third_party/kernel",
  "revision": "b400aabf2afd601096b57bef5c067e7bc36cb959",
  "path": "include/xen/interface/io/console.h"
}