)]}'
{
  "id": "9b5e68a71d016016fac96ab5f2a27f46b970fb49",
  "repo": "third_party/linux",
  "revision": "4125b7d08fef5fde2bb385f4cd046a2221617808",
  "path": "drivers/char/hw_random/pic32-rng.c"
}