)]}'
{
  "id": "95da4e29fc39c946c9acf82d0ea007550918a4a3",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "81a00ce43fc651ba1e6eaff2566e6b0f4c8d2016",
      "name": "hardware_revoker_IRQs"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "a758830015e9acc560cf766f4cef6354037ef181",
      "name": "regress-thread_exit_IRQ"
    }
  ]
}