)]}'
{
  "id": "7a71388c156bfde75e6d0d7e5c779ae84385f3ec",
  "repo": "opensbi",
  "revision": "5d248a013281ea80be3375cfc19e8ca541d33c34",
  "path": "lib/utils/irqchip/Kconfig"
}