)]}'
{
  "id": "25d7027f36c1f739d05781a8129f008fdcb8c34f",
  "entries": [
    {
      "mode": 16384,
      "type": "tree",
      "id": "e878a3e7d104e7444b6722f8698cc0ee381e07db",
      "name": "hardware_revoker_IRQs"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "a758830015e9acc560cf766f4cef6354037ef181",
      "name": "regress-thread_exit_IRQ"
    }
  ]
}