)]}'
{
  "commit": "11e4ef23082e9e7eafb086d462b7de5630a7e810",
  "tree": "1989fd2b82473a7a7f995008a11fa2a5f903e2da",
  "parents": [
    "589686f18b54d40cb5f65656b861ea8b0c7e6480"
  ],
  "author": {
    "name": "Anna Lyons",
    "email": "anna@gh.st",
    "time": "Mon Jul 22 10:11:02 2019 +1000"
  },
  "committer": {
    "name": "Kent Mcleod",
    "email": "Kent.Mcleod@data61.csiro.au",
    "time": "Thu Jul 25 10:47:31 2019 +1000"
  },
  "message": "vspace: definitions for 40-bit PA\n\nAdd VSPACE_NUM_LEVELS for 40-bit PA.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "b1410849f8c8127b41db48ef0b60088d82242a83",
      "old_mode": 33188,
      "old_path": "libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/vspace.h",
      "new_id": "f68d01803df52c507a5b9bc1a36507628252892c",
      "new_mode": 33188,
      "new_path": "libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/vspace.h"
    }
  ]
}