)]}'
{
  "commit": "dc4b8325fe3804771e9043d29aba6b37b939acec",
  "tree": "ad517f957b422adafb60868f2007d62d0dcd3514",
  "parents": [
    "f333d1f466ce96a0a47db83ae6dab6299015f653"
  ],
  "author": {
    "name": "Kent McLeod",
    "email": "Kent.Mcleod@data61.csiro.au",
    "time": "Sat Dec 14 14:01:42 2019 +1100"
  },
  "committer": {
    "name": "Kent McLeod",
    "email": "Kent.Mcleod@data61.csiro.au",
    "time": "Sat Dec 14 14:02:24 2019 +1100"
  },
  "message": "libsel4utils: Initialise an empty vspace\n\nImplemented a new interface function\n\u0027sel4utils_get_empty_vspace\u0027 that allows the user to\ncreate a vspace that has no part of the virtual address\nspace being pre-reserved e.g. kernel region. This is useful in\ncases where processes belong to virtual machine based applications\nand need the full address space.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "90020f6fe33c9bffe14040711dc5937544f1c9f5",
      "old_mode": 33188,
      "old_path": "libsel4utils/include/sel4utils/vspace.h",
      "new_id": "4e4a1b0cb6f01bb4e89c6e8c6f18686542633cff",
      "new_mode": 33188,
      "new_path": "libsel4utils/include/sel4utils/vspace.h"
    },
    {
      "type": "modify",
      "old_id": "2ce9f4dcee18c3c187a6edfcab284be5b34e0ae9",
      "old_mode": 33188,
      "old_path": "libsel4utils/src/vspace/bootstrap.c",
      "new_id": "ef81d41d275e80e96c26018a2f48814b03b67208",
      "new_mode": 33188,
      "new_path": "libsel4utils/src/vspace/bootstrap.c"
    }
  ]
}