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