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