)]}'
{
  "id": "243d2955b4668b8708fdc8c030fcf7e9fe141c4b",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "edd60cf127f2e6893be0182512a112e6f68c1771",
      "name": "hardware_revoker_IRQs"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "a758830015e9acc560cf766f4cef6354037ef181",
      "name": "regress-thread_exit_IRQ"
    }
  ]
}