)]}'
{
  "commit": "e2901f48702445ef5e49fcb25bf0d16bfb30cf13",
  "tree": "88bb5a2778059841d1b305c37f688a1cfc149472",
  "parents": [
    "d4abdfa6fe68da206388464321ec465402838819"
  ],
  "author": {
    "name": "Kent McLeod",
    "email": "Kent.Mcleod@data61.csiro.au",
    "time": "Thu Mar 05 18:01:30 2020 +1100"
  },
  "committer": {
    "name": "Kent McLeod",
    "email": "Kent.Mcleod@data61.csiro.au",
    "time": "Thu Mar 05 20:15:34 2020 +1100"
  },
  "message": "libsel4vm: Remove allocman dependency\n\nallocman is an object allocation manager that provides an implementation\nof the `vka_t` interface. As libsel4vm can perform all allocation\nthrough the `vka_t` interface, it doesn\u0027t need to know about allocman.\nThis commit also adds some missing #includes for dependencies that were\nbeing originally included through the allocman header.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "f4ddfcba32cacb2ffe20bd42b025b01bd3d79558",
      "old_mode": 33188,
      "old_path": "libsel4vm/CMakeLists.txt",
      "new_id": "427c2aa61217626c7c1f04ab972a19a91ce43521",
      "new_mode": 33188,
      "new_path": "libsel4vm/CMakeLists.txt"
    },
    {
      "type": "modify",
      "old_id": "d4e8ffe7b0b1274989c5ceff84fd04b345dc5ad7",
      "old_mode": 33188,
      "old_path": "libsel4vm/include/sel4vm/boot.h",
      "new_id": "7fd4e31a1818881d1a419c282b508dcb98edb210",
      "new_mode": 33188,
      "new_path": "libsel4vm/include/sel4vm/boot.h"
    },
    {
      "type": "modify",
      "old_id": "f0817379bcbaf7102e7eb1f6aa15bb4e3378f691",
      "old_mode": 33188,
      "old_path": "libsel4vm/include/sel4vm/guest_vm.h",
      "new_id": "ca0a2810ed6b6f3b6feb243a539dd477b8d20fa6",
      "new_mode": 33188,
      "new_path": "libsel4vm/include/sel4vm/guest_vm.h"
    },
    {
      "type": "modify",
      "old_id": "cf464c5ea9a932dceda3bf9b3f01b60e4b587ab4",
      "old_mode": 33188,
      "old_path": "libsel4vm/src/boot.c",
      "new_id": "84648348e9138070eecee957de72b3079070c064",
      "new_mode": 33188,
      "new_path": "libsel4vm/src/boot.c"
    },
    {
      "type": "modify",
      "old_id": "de7479249538a8eb3f385a34dc69212571566d62",
      "old_mode": 33188,
      "old_path": "libsel4vmmplatsupport/src/arch/arm/guest_image.c",
      "new_id": "3ee8d0e1ffbdc4caff192894942930ef9355c858",
      "new_mode": 33188,
      "new_path": "libsel4vmmplatsupport/src/arch/arm/guest_image.c"
    }
  ]
}