)]}'
{
  "id": "8ba4e44303bf17c769248010df7c2e84bf5d2985",
  "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": "81cb593928a6700ecebae3baf7d0c7e316ea0464",
      "name": "sel4bench.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "db986cf6cfd258467c594d1f64b28dba12bff946",
      "name": "types.h"
    }
  ]
}