)]}'
{
  "commit": "3c74117e71b97eabe0e4f8af934af070de99628b",
  "tree": "da5857fbdb61bcde59949fbd4bdc9924dd2fdb91",
  "parents": [
    "11e4ef23082e9e7eafb086d462b7de5630a7e810"
  ],
  "author": {
    "name": "Alison Felizzi",
    "email": "Alison.Felizzi@data61.csiro.au",
    "time": "Mon Aug 12 15:22:19 2019 +1000"
  },
  "committer": {
    "name": "Alison Felizzi",
    "email": "Alison.Felizzi@data61.csiro.au",
    "time": "Mon Aug 12 15:44:27 2019 +1000"
  },
  "message": "sel4vspace: Deferred rights reservation mapping\n\nThis extends the sel4vspace interface to support the ability to\ncreate reservations where the rights for the memory region are\ndeferred to the vspace mapping invocation. This is useful when the\ncreation of a reservation and the mapping of the reservation are\nnot local and the rights cannot be determined during reservation\ncreation.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "e1396a6d47f4c798bba0ddb7ae6ba024eb7a06a7",
      "old_mode": 33188,
      "old_path": "libsel4vspace/include/vspace/vspace.h",
      "new_id": "6f046f50455f7e9c441be7fd3fc4097bf7229585",
      "new_mode": 33188,
      "new_path": "libsel4vspace/include/vspace/vspace.h"
    }
  ]
}