)]}'
{
  "id": "e39ebfbcd48fc3f0c38d287d5d7c90b693b814ec",
  "repo": "openbios",
  "revision": "1de3e55fc962d79e773bb1cebd2815fc744e0149",
  "path": "drivers/pci_database.h"
}