)]}'
{
  "commit": "d1abeb4d1c1657d7ab6484f664a3d2d4b474e8c1",
  "tree": "13031e01963c67a702fe8d691fe0d5a0b8faf4b0",
  "parents": [
    "3c74117e71b97eabe0e4f8af934af070de99628b"
  ],
  "author": {
    "name": "Alison Felizzi",
    "email": "Alison.Felizzi@data61.csiro.au",
    "time": "Mon Aug 12 15:30:50 2019 +1000"
  },
  "committer": {
    "name": "Alison Felizzi",
    "email": "Alison.Felizzi@data61.csiro.au",
    "time": "Mon Aug 12 15:47:11 2019 +1000"
  },
  "message": "sel4utils: Deferred rights reservation creation\n\nUpdated sel4utils to support the new vspace interface function:\n\u0027vspace_reserve_deferred_rights_range_at_fn\u0027. This enables the\nuser to create vspace reservations without passing the rights of\nthe memory region. The rights being deferred to the mapping\ninvocation.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "17d589d4fd84d14e0bc93a2190b579a2571535e6",
      "old_mode": 33188,
      "old_path": "libsel4utils/include/sel4utils/vspace.h",
      "new_id": "5a5fa86d12767ee83ade38c874c0f5765e9da8d8",
      "new_mode": 33188,
      "new_path": "libsel4utils/include/sel4utils/vspace.h"
    },
    {
      "type": "modify",
      "old_id": "55f545d274851f991a0225ff736ef9467e4a4f6e",
      "old_mode": 33188,
      "old_path": "libsel4utils/include/sel4utils/vspace_internal.h",
      "new_id": "f1a391bb65dd67e7f3503d4e5271ed4c14eee7a9",
      "new_mode": 33188,
      "new_path": "libsel4utils/include/sel4utils/vspace_internal.h"
    },
    {
      "type": "modify",
      "old_id": "655fdf275d12c6ccd2af78818e911fe87ee080a5",
      "old_mode": 33188,
      "old_path": "libsel4utils/src/vspace/bootstrap.c",
      "new_id": "ad06562ae9dc0c54034c5a0d2f0489d86f11d5df",
      "new_mode": 33188,
      "new_path": "libsel4utils/src/vspace/bootstrap.c"
    },
    {
      "type": "modify",
      "old_id": "032cfb8e44a72f9a923c4ee91d17e13b894eaaaf",
      "old_mode": 33188,
      "old_path": "libsel4utils/src/vspace/vspace.c",
      "new_id": "01254d09bbe15cc445779cf221c7f9b48ce03808",
      "new_mode": 33188,
      "new_path": "libsel4utils/src/vspace/vspace.c"
    }
  ]
}