)]}'
{
  "commit": "b07de392467a05b0941f2f0567f5d4df10ed50c4",
  "tree": "9137827771fc9dd57b2dc7527426c9a7005b77ce",
  "parents": [
    "e014d83fc9415c1741bd4b00e831e32690b75f13"
  ],
  "author": {
    "name": "Alison Felizzi",
    "email": "Alison.Felizzi@data61.csiro.au",
    "time": "Fri Feb 28 13:34:32 2020 +1100"
  },
  "committer": {
    "name": "Alison Felizzi",
    "email": "Alison.Felizzi@data61.csiro.au",
    "time": "Fri Mar 06 11:58:02 2020 +1100"
  },
  "message": "libsel4vm: Update documentation\n\nThis commit refreshes the interface documentation in libsel4vm.\nThis commit patches in missing documentation and additionally\nensures all interface documentation conforms to Doxygen style\ncomments.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "068d15fa7a11fa4b115c3df272710e8817e8455f",
      "old_mode": 33188,
      "old_path": "libsel4vm/arch_include/arm/sel4vm/arch/guest_arm_context.h",
      "new_id": "768154812e3264a950922d2000f3dc25ecf6b0ca",
      "new_mode": 33188,
      "new_path": "libsel4vm/arch_include/arm/sel4vm/arch/guest_arm_context.h"
    },
    {
      "type": "modify",
      "old_id": "e5e00cc345fd8239e87668a634121ce48463716b",
      "old_mode": 33188,
      "old_path": "libsel4vm/arch_include/arm/sel4vm/arch/guest_memory_arch.h",
      "new_id": "de1db0e3a5a1ed3e4dcdb231635bfef3ec7f84ac",
      "new_mode": 33188,
      "new_path": "libsel4vm/arch_include/arm/sel4vm/arch/guest_memory_arch.h"
    },
    {
      "type": "modify",
      "old_id": "6295b08e2cddb540be3591b00c36a722eddcb219",
      "old_mode": 33188,
      "old_path": "libsel4vm/arch_include/arm/sel4vm/arch/guest_vm_arch.h",
      "new_id": "2d05d52898afc3821b3f5832fd9d4ffb5218dc2f",
      "new_mode": 33188,
      "new_path": "libsel4vm/arch_include/arm/sel4vm/arch/guest_vm_arch.h"
    },
    {
      "type": "modify",
      "old_id": "2d437e71e29953e67146e68d6dce30f37a0167b5",
      "old_mode": 33188,
      "old_path": "libsel4vm/arch_include/x86/sel4vm/arch/guest_vm_arch.h",
      "new_id": "20d66a96d94e4d36b61cf48aeb72b7fb38eb3ba5",
      "new_mode": 33188,
      "new_path": "libsel4vm/arch_include/x86/sel4vm/arch/guest_vm_arch.h"
    },
    {
      "type": "modify",
      "old_id": "02142c00155d8f7003858811ed7e884bc60e97b5",
      "old_mode": 33188,
      "old_path": "libsel4vm/arch_include/x86/sel4vm/arch/guest_x86_context.h",
      "new_id": "8c76d90447a39c3d5add7efef56286852cfb75e9",
      "new_mode": 33188,
      "new_path": "libsel4vm/arch_include/x86/sel4vm/arch/guest_x86_context.h"
    },
    {
      "type": "modify",
      "old_id": "9e27acb4bfac9de5decdd84e85614d188d33e1e2",
      "old_mode": 33188,
      "old_path": "libsel4vm/arch_include/x86/sel4vm/arch/ioports.h",
      "new_id": "8b4df57f18a92c26fb648cc3afdf8a0ec8db34e1",
      "new_mode": 33188,
      "new_path": "libsel4vm/arch_include/x86/sel4vm/arch/ioports.h"
    },
    {
      "type": "modify",
      "old_id": "c9a36d4f6e7237a06f8820a0c0c1a68b1c132dee",
      "old_mode": 33188,
      "old_path": "libsel4vm/arch_include/x86/sel4vm/arch/vmcall.h",
      "new_id": "b1c08f2d9b08d936ec4a20379d16935c7072d21a",
      "new_mode": 33188,
      "new_path": "libsel4vm/arch_include/x86/sel4vm/arch/vmcall.h"
    },
    {
      "type": "modify",
      "old_id": "7fd4e31a1818881d1a419c282b508dcb98edb210",
      "old_mode": 33188,
      "old_path": "libsel4vm/include/sel4vm/boot.h",
      "new_id": "820f5c225fe1a451126fda967374e315b3ae97ca",
      "new_mode": 33188,
      "new_path": "libsel4vm/include/sel4vm/boot.h"
    },
    {
      "type": "modify",
      "old_id": "407eca39cc73bccf18c619af0d63adf773687ca0",
      "old_mode": 33188,
      "old_path": "libsel4vm/include/sel4vm/guest_iospace.h",
      "new_id": "60b3383accc5b182d6c607cecb6817b7e39ebf1c",
      "new_mode": 33188,
      "new_path": "libsel4vm/include/sel4vm/guest_iospace.h"
    },
    {
      "type": "modify",
      "old_id": "be2df75fa21dddfc192a03da0cc0a6bb9483b0da",
      "old_mode": 33188,
      "old_path": "libsel4vm/include/sel4vm/guest_irq_controller.h",
      "new_id": "101e8152c97f6c44f80a0a57cfe098addbd340d6",
      "new_mode": 33188,
      "new_path": "libsel4vm/include/sel4vm/guest_irq_controller.h"
    },
    {
      "type": "modify",
      "old_id": "04c904ee08a220c9c0dec1ab2a08534a8a09d681",
      "old_mode": 33188,
      "old_path": "libsel4vm/include/sel4vm/guest_memory.h",
      "new_id": "8d1aa2a3d035b53eb7fda9611586ce89ea648f6f",
      "new_mode": 33188,
      "new_path": "libsel4vm/include/sel4vm/guest_memory.h"
    },
    {
      "type": "modify",
      "old_id": "a4f8c89e8607467c939b1c62cef8f0727a9708f0",
      "old_mode": 33188,
      "old_path": "libsel4vm/include/sel4vm/guest_memory_helpers.h",
      "new_id": "c36027d8a40c95d36f11d2effcb74138b1019ec7",
      "new_mode": 33188,
      "new_path": "libsel4vm/include/sel4vm/guest_memory_helpers.h"
    },
    {
      "type": "modify",
      "old_id": "f6bd419f81b4a8d53a52a835de6d10c7c31372d2",
      "old_mode": 33188,
      "old_path": "libsel4vm/include/sel4vm/guest_ram.h",
      "new_id": "f2a4c5f4fe4d5fb9ac5b0b8f53096981c68a8f14",
      "new_mode": 33188,
      "new_path": "libsel4vm/include/sel4vm/guest_ram.h"
    },
    {
      "type": "modify",
      "old_id": "5ed737d638c8fb719beab4b27b8a3bed3adbb20c",
      "old_mode": 33188,
      "old_path": "libsel4vm/include/sel4vm/guest_vcpu_fault.h",
      "new_id": "b670a7988cc7d9dd00e6f6d4c5711a02d3e7170e",
      "new_mode": 33188,
      "new_path": "libsel4vm/include/sel4vm/guest_vcpu_fault.h"
    },
    {
      "type": "modify",
      "old_id": "ca0a2810ed6b6f3b6feb243a539dd477b8d20fa6",
      "old_mode": 33188,
      "old_path": "libsel4vm/include/sel4vm/guest_vm.h",
      "new_id": "bf6e2f13eb7acb1d14737d66e44acebf24c60e75",
      "new_mode": 33188,
      "new_path": "libsel4vm/include/sel4vm/guest_vm.h"
    },
    {
      "type": "modify",
      "old_id": "f93effa9dbae72e0feb944401b3000316bbe5c0d",
      "old_mode": 33188,
      "old_path": "libsel4vm/include/sel4vm/guest_vm_util.h",
      "new_id": "d302047f704699bb005de7410a7e7c00b8e62446",
      "new_mode": 33188,
      "new_path": "libsel4vm/include/sel4vm/guest_vm_util.h"
    },
    {
      "type": "modify",
      "old_id": "ef8524ff56fab4b6348edf21e1074fe7239c7b02",
      "old_mode": 33188,
      "old_path": "libsel4vm/src/guest_memory.h",
      "new_id": "86955d422657f6a1fb6dc8d8f287656314807751",
      "new_mode": 33188,
      "new_path": "libsel4vm/src/guest_memory.h"
    }
  ]
}