)]}'
{
  "commit": "b8e98a32ab92affff7b3bfe5277c415462824ca5",
  "tree": "6537f80eea919d26261a2fc89f0f46d555831a9a",
  "parents": [
    "897f12b3617a6234278bea16d31f7215532876e4"
  ],
  "author": {
    "name": "Sam Leffler",
    "email": "sleffler@google.com",
    "time": "Tue Sep 27 20:35:59 2022 +0000"
  },
  "committer": {
    "name": "Sam Leffler",
    "email": "sleffler@google.com",
    "time": "Sun Oct 02 22:46:19 2022 +0000"
  },
  "message": "seL4_libs: skip tainted untypeds during bootstrap\n\nUntyped slabs are marked tainted when the kerrnel uses them to back\nrootserver resources. They should not be used to bootstrap dynamic\nallocators because the current logic assumes untypeds provided by\nthe kernel are empty/unused (so mucking with them will corrupt the\nrootserver\u0027s VSpace).\n\nChange-Id: I1912131c1cc066224120f73d6abf9daed6b2ced7\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "0a8576112dd348fd9c62b45725d148b8f4b3902b",
      "old_mode": 33188,
      "old_path": "libsel4allocman/src/bootstrap.c",
      "new_id": "19ada805aca1add5a2019a5d40b7c8f30dc2d0a4",
      "new_mode": 33188,
      "new_path": "libsel4allocman/src/bootstrap.c"
    },
    {
      "type": "modify",
      "old_id": "44e01f305ac9c4cdf0cd4726964ee5a3df6a833a",
      "old_mode": 33188,
      "old_path": "libsel4debug/src/bootinfo.c",
      "new_id": "a47b9d7c0742e5a7cd8d602923d907430070cd7a",
      "new_mode": 33188,
      "new_path": "libsel4debug/src/bootinfo.c"
    },
    {
      "type": "modify",
      "old_id": "946b7346d03ebbdf76b6d9ecbfb343e8dfca64da",
      "old_mode": 33188,
      "old_path": "libsel4simple-default/src/libsel4simple-default.c",
      "new_id": "9e13fb8bfec089458230c1bb5a78aa6d635616a5",
      "new_mode": 33188,
      "new_path": "libsel4simple-default/src/libsel4simple-default.c"
    },
    {
      "type": "modify",
      "old_id": "11ed8a0009753d3b242a109cf5a3b16de6ef49b0",
      "old_mode": 33188,
      "old_path": "libsel4simple/include/simple/simple.h",
      "new_id": "e42b567e4faf83afc16ca2250a18c8cc880f636c",
      "new_mode": 33188,
      "new_path": "libsel4simple/include/simple/simple.h"
    },
    {
      "type": "modify",
      "old_id": "882b1cde476eecdf3776ba8a07531d5436dac700",
      "old_mode": 33188,
      "old_path": "libsel4simple/src/simple.c",
      "new_id": "c901810e2d301d1b61d79218b1125deb634f940f",
      "new_mode": 33188,
      "new_path": "libsel4simple/src/simple.c"
    }
  ]
}