)]}'
{
  "commit": "f9094069d0dd0cfaa17926df7affcaa56a45742d",
  "tree": "9ada9dfba4c303056c7ba1189b2b9b4646eb970c",
  "parents": [
    "7476936470563282bbfc1cfa2ab766353ef42f44"
  ],
  "author": {
    "name": "Anna Lyons",
    "email": "anna@gh.st",
    "time": "Wed Jul 17 13:58:03 2019 +1000"
  },
  "committer": {
    "name": "Kent Mcleod",
    "email": "Kent.Mcleod@data61.csiro.au",
    "time": "Thu Jul 25 10:47:30 2019 +1000"
  },
  "message": "utils/vka: update for aarch64 api change\n\nUse seL4_ARM_VSpace* rather than seL4_ARM_PageGlobalDirectory*\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "059aeded56d8214d6ccec72a6b2da675887a00c8",
      "old_mode": 33188,
      "old_path": "libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/cache.h",
      "new_id": "a277f99c73c3b6671214b655315147d83afbcbcb",
      "new_mode": 33188,
      "new_path": "libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/cache.h"
    },
    {
      "type": "modify",
      "old_id": "cb1dd8cef32c5571febba5aebbf362c9aac24b30",
      "old_mode": 33188,
      "old_path": "libsel4vka/sel4_arch_include/aarch64/vka/sel4_arch/object.h",
      "new_id": "623db04b46ffbfbb1dfaf2db2c15c661493f7b45",
      "new_mode": 33188,
      "new_path": "libsel4vka/sel4_arch_include/aarch64/vka/sel4_arch/object.h"
    }
  ]
}