)]}'
{
  "commit": "d4abdfa6fe68da206388464321ec465402838819",
  "tree": "e9708fedde1feb463b895134b00920b09f9eab7a",
  "parents": [
    "9729d5743a3093b1bbcdf29105eed2683030244c"
  ],
  "author": {
    "name": "Kent McLeod",
    "email": "Kent.Mcleod@data61.csiro.au",
    "time": "Thu Mar 05 17:56:55 2020 +1100"
  },
  "committer": {
    "name": "Kent McLeod",
    "email": "Kent.Mcleod@data61.csiro.au",
    "time": "Thu Mar 05 17:56:55 2020 +1100"
  },
  "message": "sel4vmmplatsupport: rm map_ut_allocman_reservation\n\nRemove this helper mapping function as it is unused and allocations\nshould occur through the vka interface rather than the allocman\nimplementation.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "d32ce294488e4019b22408503734a075345b0bd2",
      "old_mode": 33188,
      "old_path": "libsel4vmmplatsupport/include/sel4vmmplatsupport/guest_memory_util.h",
      "new_id": "d12c669c91d8cc33cf22e8eceb332b277d564b7d",
      "new_mode": 33188,
      "new_path": "libsel4vmmplatsupport/include/sel4vmmplatsupport/guest_memory_util.h"
    },
    {
      "type": "modify",
      "old_id": "b58128f63642bab8d5ff8961c7d0131d46599d09",
      "old_mode": 33188,
      "old_path": "libsel4vmmplatsupport/src/guest_memory_util.c",
      "new_id": "f8e97e8857e0e6f3c2d5e00ca5faa29063aaa9c1",
      "new_mode": 33188,
      "new_path": "libsel4vmmplatsupport/src/guest_memory_util.c"
    }
  ]
}