)]}'
{
  "id": "f6e1cae52add8753fce93b470db87ccf108a8271",
  "repo": "opensbi",
  "revision": "HEAD",
  "path": "include/sbi_utils/ipi/andes_plicsw.h"
}