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