)]}'
{
  "commit": "f333d1f466ce96a0a47db83ae6dab6299015f653",
  "tree": "49eab24824d9a6a87596a0b2912cbd51ac74666a",
  "parents": [
    "27c4371c7386c0b1991030f62ead93a5306e8985"
  ],
  "author": {
    "name": "Alison Felizzi",
    "email": "Alison.Felizzi@data61.csiro.au",
    "time": "Fri Dec 13 10:35:44 2019 +1100"
  },
  "committer": {
    "name": "Alison Felizzi",
    "email": "Alison.Felizzi@data61.csiro.au",
    "time": "Fri Dec 13 10:57:54 2019 +1100"
  },
  "message": "libsel4utils: Initialise an empty vspace\n\nImplemented a new interface function\n\u0027sel4utils_get_empty_vspace_with_map\u0027 that allows the user to\ncreate a vspace (with map) 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": "5a5fa86d12767ee83ade38c874c0f5765e9da8d8",
      "old_mode": 33188,
      "old_path": "libsel4utils/include/sel4utils/vspace.h",
      "new_id": "90020f6fe33c9bffe14040711dc5937544f1c9f5",
      "new_mode": 33188,
      "new_path": "libsel4utils/include/sel4utils/vspace.h"
    },
    {
      "type": "modify",
      "old_id": "0fd4de51ed97d39d9f7d8d4bf3222d9014a4b22a",
      "old_mode": 33188,
      "old_path": "libsel4utils/src/vspace/bootstrap.c",
      "new_id": "2ce9f4dcee18c3c187a6edfcab284be5b34e0ae9",
      "new_mode": 33188,
      "new_path": "libsel4utils/src/vspace/bootstrap.c"
    }
  ]
}