)]}'
{
  "id": "fa12a1005842f32d04d96716b85b22a3dd9fc697",
  "repo": "ipxe",
  "revision": "refs/heads/coverity_scan",
  "path": "src/config/defaults/pcbios.h"
}