)]}'
{
  "id": "42e282e925df71cd1eb6868c3bed2e143147491b",
  "repo": "ipxe",
  "revision": "b2e8468219ca2c44bfef3b62f16bbfbd938eb8eb",
  "path": "src/drivers/usb/ehci.h"
}