)]}'
{
  "commit": "08f7cbdbec18c89b30e23017e63e79c0655dc8ab",
  "tree": "6fa87a615515e7b35ac57b2652fce54197393647",
  "parents": [
    "d1abeb4d1c1657d7ab6484f664a3d2d4b474e8c1"
  ],
  "author": {
    "name": "Alison Felizzi",
    "email": "Alison.Felizzi@data61.csiro.au",
    "time": "Mon Aug 12 15:36:19 2019 +1000"
  },
  "committer": {
    "name": "Alison Felizzi",
    "email": "Alison.Felizzi@data61.csiro.au",
    "time": "Mon Aug 12 16:00:10 2019 +1000"
  },
  "message": "sel4utils: Mapping deferred rights reservations\n\nUpdated sel4utils to support the new vspace interface function:\n\u0027vspace_deferred_rights_map_pages_at_vaddr_fn\u0027. This enables the\nuser to pass in the rights of the memory region when mapping a\n\u0027rights deferred\u0027 vspace reservation.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "f1a391bb65dd67e7f3503d4e5271ed4c14eee7a9",
      "old_mode": 33188,
      "old_path": "libsel4utils/include/sel4utils/vspace_internal.h",
      "new_id": "47c961fa9f9076d4d1e7d0ebc19cbd920f159305",
      "new_mode": 33188,
      "new_path": "libsel4utils/include/sel4utils/vspace_internal.h"
    },
    {
      "type": "modify",
      "old_id": "ad06562ae9dc0c54034c5a0d2f0489d86f11d5df",
      "old_mode": 33188,
      "old_path": "libsel4utils/src/vspace/bootstrap.c",
      "new_id": "99bf5d99a8260abdce03c5c3ec40ff7ff279c633",
      "new_mode": 33188,
      "new_path": "libsel4utils/src/vspace/bootstrap.c"
    },
    {
      "type": "modify",
      "old_id": "01254d09bbe15cc445779cf221c7f9b48ce03808",
      "old_mode": 33188,
      "old_path": "libsel4utils/src/vspace/vspace.c",
      "new_id": "af21c24d088cb03863c87a50f6954e32b036ee30",
      "new_mode": 33188,
      "new_path": "libsel4utils/src/vspace/vspace.c"
    }
  ]
}