)]}'
{
  "id": "5604b2c77f40e03a19db4067d26ac3e730704eae",
  "repo": "3p/sel4/camkes",
  "revision": "cb16a1c46eee4d9c08d81dce135619acb77f6e92",
  "path": "apps/pit/components/Driver/src/driver.c"
}