)]}'
{
  "id": "d6efbd0c0a5bd36ad04ef1554ed1ae8f147357ce",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "bd6fa30999f9924b828402b1c0f2c736cce1bc15",
      "name": "kernel_logging.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b4da84e94d47edb79c35333e0cf0e49f72a1a67c",
      "name": "logging.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "2388e8bda2ca1d6e72639b310522f7b5674fdce0",
      "name": "sel4bench.h"
    }
  ]
}