)]}'
{
  "id": "f523c56ef7b6003346e4b57943a56373adf1bf9e",
  "repo": "opensbi",
  "revision": "HEAD",
  "path": "include/sbi/riscv_fp.h"
}