)]}'
{
  "commit": "c1a3178bebf3dda0424827bbca40f01d13731de3",
  "tree": "584904d2b6b1d07a0ffc8849c61b56b2b180191a",
  "parents": [
    "e8088af40d674fb8ac3a23874afea74ed1868d5c"
  ],
  "author": {
    "name": "Anna Lyons",
    "email": "Anna.Lyons@data61.csiro.au",
    "time": "Thu Aug 10 12:28:08 2017 +1000"
  },
  "committer": {
    "name": "Anna Lyons",
    "email": "Anna.Lyons@data61.csiro.au",
    "time": "Mon Aug 21 17:25:54 2017 +1000"
  },
  "message": "Remove debug_fault_handler\n\n- it\u0027s not used in our code base\n- it\u0027s not tested (it says so)\n- it duplicates sel4utils_print_fault_message\n- move useful code to sel4utils_print_fault_message\n- make sure sel4utils_print_fault_message doesn\u0027t use GetMR, as print\nmay cause it to invalidate the IPC buffer contents.\n",
  "tree_diff": [
    {
      "type": "delete",
      "old_id": "b3128b508822ea3e144db1344c3944f332e4dfe8",
      "old_mode": 33188,
      "old_path": "libsel4debug/include/sel4debug/faults.h",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "c690fe9888b2585f77d46edc9f86601c8e93815b",
      "old_mode": 33188,
      "old_path": "libsel4debug/src/faulthandler.c",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "modify",
      "old_id": "7d4214995eaada37ad28103170c5f1e363a7398b",
      "old_mode": 33188,
      "old_path": "libsel4utils/src/thread.c",
      "new_id": "e56866306232256183364bc6d1b04cb4b4609ad9",
      "new_mode": 33188,
      "new_path": "libsel4utils/src/thread.c"
    }
  ]
}