)]}'
{
  "id": "1bf5aa7b872f4399c769be3bd16e840ade0dee04",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "b00fa94628579fb1be0ef1d3f1227b9bb8a9fe4e",
      "name": "kernel_logging.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4db488d63a867d7ab0039e1f794b83007147c1ed",
      "name": "logging.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f6eac71d77d753d196f1e9642dad83c33a9d2648",
      "name": "sel4bench.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0dc6913c6734b73b3492cd5202e87588cbdd0e7f",
      "name": "types.h"
    }
  ]
}