)]}'
{
  "id": "b40488850184d2498a214271b0b8c49c4e4000af",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "faa72ad53bf393871e6642bc9be80f193c0bbdee",
      "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"
    }
  ]
}