)]}'
{
  "id": "a7ed4438f25569b9529468867fd301485dd3d91e",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "d5e8b1e72c8b83208f8db7ca877c9ea64e7734b8",
      "name": "kernel_logging.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7cb9e42e8a688bce7306dc3fd3d06e59a1c799ad",
      "name": "logging.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6cb0ef90608544db0fa2061db6f11cf70bbe3c97",
      "name": "sel4bench.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "db986cf6cfd258467c594d1f64b28dba12bff946",
      "name": "types.h"
    }
  ]
}