)]}'
{
  "id": "680331bd87419e2d41de5558a0d2df4d22e4e606",
  "repo": "3p/sel4/camkes",
  "revision": "refs/heads/master",
  "path": "apps/dma-example/server.c"
}