)]}'
{
  "id": "494343a831f1749bacc024b1a33a0765ebc4a06c",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "7fad5e5d7be7f1fb2923bf5fc2659afd1eec9d7b",
      "name": "README.md"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "80d50496a6de3ce26645be0ae6fe74942213e19a",
      "name": "gdbscript.py"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "541e23309ee3aa3f0003221ef26a43639ce13652",
      "name": "seL4Extensions.cs"
    }
  ]
}