)]}'
{
  "id": "6c22751bdaf7a3264aa04b5e8135de0b076c3c12",
  "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": "2c8f5841f985bcbb9dd1ae53d3473494a6cc97d1",
      "name": "sel4bench.h"
    }
  ]
}