)]}'
{
  "id": "a13b384e0164720decdc66e5c7785081f084aee0",
  "repo": "opensbi",
  "revision": "5d248a013281ea80be3375cfc19e8ca541d33c34",
  "path": "lib/utils/irqchip/objects.mk"
}