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