)]}'
{
  "commit": "7ae68ec7f731156efb3bc52e9ff9795c50ca641f",
  "tree": "d4a621850d867e8a5326c380a606348696e1ee30",
  "parents": [
    "dc4b8325fe3804771e9043d29aba6b37b939acec"
  ],
  "author": {
    "name": "Kent McLeod",
    "email": "Kent.Mcleod@data61.csiro.au",
    "time": "Fri Dec 13 18:03:51 2019 +1100"
  },
  "committer": {
    "name": "Kent Mcleod",
    "email": "Kent.Mcleod@data61.csiro.au",
    "time": "Sat Dec 14 16:17:02 2019 +1100"
  },
  "message": "Move libsel4vmm into libsel4vm\n\nA new library within seL4_projects_libs called libsel4vm has been\ncreated out of libsel4vmm and libsel4arm-vmm.\n\nAdditionally, a snapshot of this library can be found in the\nsel4-deprecated repository where it will marked as deprecated.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "f00e26836e63f6b17c07a02a69d75ed57f50d29b",
      "old_mode": 33188,
      "old_path": "CMakeLists.txt",
      "new_id": "cd6f8b57c18144f078fdbc723da9e88dbbf99114",
      "new_mode": 33188,
      "new_path": "CMakeLists.txt"
    },
    {
      "type": "delete",
      "old_id": "5dc65a9a82d41af5cf5181496b0eb2afc7dc2ac1",
      "old_mode": 33188,
      "old_path": "libsel4vmm/CMakeLists.txt",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "e418701b25a8ae3230701d424ffe523d48c7377a",
      "old_mode": 33188,
      "old_path": "libsel4vmm/LICENSE_GPLv2.txt",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "e9a407b3629e0a41e5e61b3380cee8dcebcf8ca4",
      "old_mode": 33188,
      "old_path": "libsel4vmm/include/vmm/debug.h",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "bcd3ddc7c37ce8c89ac8a086a7fec90b1886e55b",
      "old_mode": 33188,
      "old_path": "libsel4vmm/include/vmm/driver/pci.h",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "eb87f99b52e6ca175fa6c57ac6e31925f7ab8afc",
      "old_mode": 33188,
      "old_path": "libsel4vmm/include/vmm/driver/pci_helper.h",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "d0e9065963519b2e89018e60ac4dec1fa3161171",
      "old_mode": 33188,
      "old_path": "libsel4vmm/include/vmm/driver/virtio_emul.h",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "2bab43e070752831b9d006f163acdc4476b0ab9d",
      "old_mode": 33188,
      "old_path": "libsel4vmm/include/vmm/guest_state.h",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "7becc6f70e2f7d76c5748ce84a9092b05b121d5b",
      "old_mode": 33188,
      "old_path": "libsel4vmm/include/vmm/interrupt.h",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "1bde58fc98c1a37d1cc45cd7d0018d9eac2d7103",
      "old_mode": 33188,
      "old_path": "libsel4vmm/include/vmm/io.h",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "0d44c7ddb5981fcdd49eb03aafa63eac7d6b2736",
      "old_mode": 33188,
      "old_path": "libsel4vmm/include/vmm/libvchan.h",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "6603b2338c14f50deb850ece9e417c3982bae923",
      "old_mode": 33188,
      "old_path": "libsel4vmm/include/vmm/mmio.h",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "c13daf3b1dd49c9410146b946e906b4a26c0c636",
      "old_mode": 33188,
      "old_path": "libsel4vmm/include/vmm/platform/acpi.h",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "7594eef7a761164ac14454a24aa98e5ea18f1ba6",
      "old_mode": 33188,
      "old_path": "libsel4vmm/include/vmm/platform/boot.h",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "14597ced8ed5abe1591b1ac95d2ce796eee298f1",
      "old_mode": 33188,
      "old_path": "libsel4vmm/include/vmm/platform/boot_guest.h",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "9f657b3f9b62d5bf5e5ad8e42b9fc4ceb5130cd6",
      "old_mode": 33188,
      "old_path": "libsel4vmm/include/vmm/platform/bootinfo.h",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "2288b5ae200a1b580fe750a0a50f33b9895cfeec",
      "old_mode": 33188,
      "old_path": "libsel4vmm/include/vmm/platform/e820.h",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "a70b7a765ab815244d248a903b50a30c0a147804",
      "old_mode": 33188,
      "old_path": "libsel4vmm/include/vmm/platform/elf_helper.h",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "e8813b5322d3b3fa78ec88f3bfaf68fb015b90bc",
      "old_mode": 33188,
      "old_path": "libsel4vmm/include/vmm/platform/guest_memory.h",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "d0a1fb3c692e99df2f27a3d2073269a5d0d441c1",
      "old_mode": 33188,
      "old_path": "libsel4vmm/include/vmm/platform/guest_vspace.h",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "3bc928f8b8890c3453c2f000e97a18c61d58d002",
      "old_mode": 33188,
      "old_path": "libsel4vmm/include/vmm/platform/ioports.h",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "802496ac3991922939ae08a374e7ab449833a0ac",
      "old_mode": 33188,
      "old_path": "libsel4vmm/include/vmm/platform/vmcs.h",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "9361cb1b4bca68f0134c1f09a4c0f05edcaa9650",
      "old_mode": 33188,
      "old_path": "libsel4vmm/include/vmm/platform/vmexit.h",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "64c7db083b23017dd4bd96bb0cd77502ef676e42",
      "old_mode": 33188,
      "old_path": "libsel4vmm/include/vmm/processor/apicdef.h",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "2258d9f60927fdc55d4e14ebd8845af6de43e397",
      "old_mode": 33188,
      "old_path": "libsel4vmm/include/vmm/processor/cpufeature.h",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "3f2cbeddae949863e659b98944d9acf23c6be3c5",
      "old_mode": 33188,
      "old_path": "libsel4vmm/include/vmm/processor/cpuid.h",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "48e1bbd3f7a4e76533e60836839cd6c0042f509f",
      "old_mode": 33188,
      "old_path": "libsel4vmm/include/vmm/processor/decode.h",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "b6ccee0b55806605b8a209a10280928a15e91801",
      "old_mode": 33188,
      "old_path": "libsel4vmm/include/vmm/processor/lapic.h",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "a41af45d6137c1d9e5f97d7db92b62a94597e53e",
      "old_mode": 33188,
      "old_path": "libsel4vmm/include/vmm/processor/msr.h",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "454219728e9bf5b8c58f443e4719f6cb65351e9e",
      "old_mode": 33188,
      "old_path": "libsel4vmm/include/vmm/processor/platfeature.h",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "a2898e483e3d117344901aadd8075a9f5c843447",
      "old_mode": 33188,
      "old_path": "libsel4vmm/include/vmm/vchan_component.h",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "f0a6389f244bf17471c793c2b2ad2f3061e6c038",
      "old_mode": 33188,
      "old_path": "libsel4vmm/include/vmm/vchan_copy.h",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "33e951ed5ff92f2371c7f9c1267b3ce34709ecb7",
      "old_mode": 33188,
      "old_path": "libsel4vmm/include/vmm/vchan_sharemem.h",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "0d2e4daade4dceeb3240112512b3b99a8c49d5c3",
      "old_mode": 33188,
      "old_path": "libsel4vmm/include/vmm/vmcall.h",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "37ad12115531b19df1faa17fac6d17d21de1c19a",
      "old_mode": 33188,
      "old_path": "libsel4vmm/include/vmm/vmcs.h",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "6d18b8a6259df48590c92b80f0e6a98716203450",
      "old_mode": 33188,
      "old_path": "libsel4vmm/include/vmm/vmexit.h",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "aada08131ab7efd97fb41f9c5305756c7b1eeefc",
      "old_mode": 33188,
      "old_path": "libsel4vmm/include/vmm/vmm.h",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "c5bbf2326d8355ff73f1e40de930027d602f2eae",
      "old_mode": 33188,
      "old_path": "libsel4vmm/include/vmm/vmm_manager.h",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "1c5a6025770a8f1727a8da849112cea22bc6d036",
      "old_mode": 33188,
      "old_path": "libsel4vmm/src/driver/pci.c",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "d4f873c6624cde6eb63d659490b8fd606350188d",
      "old_mode": 33188,
      "old_path": "libsel4vmm/src/driver/pci_helper.c",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "80bfb0da46dff2f22b7ba0f229195c086175c7b3",
      "old_mode": 33188,
      "old_path": "libsel4vmm/src/driver/virtio_emul.c",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "8d60571f3afe70108873f2e2e2a46e7f8f61de5f",
      "old_mode": 33188,
      "old_path": "libsel4vmm/src/platform/acpi.c",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "d9eadf1e75183f61d1ae7489830e936469690763",
      "old_mode": 33188,
      "old_path": "libsel4vmm/src/platform/boot.c",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "00d3dc02dcd8ccf65d09f42c86a9fba5e63a17b2",
      "old_mode": 33188,
      "old_path": "libsel4vmm/src/platform/boot_guest.c",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "7a227c3a12e1b5cda97c2b7a92941a555fcbb02b",
      "old_mode": 33188,
      "old_path": "libsel4vmm/src/platform/elf_helper.c",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "418fcc1015ed9af66f72ab94e9df05a5b1df597d",
      "old_mode": 33188,
      "old_path": "libsel4vmm/src/platform/guest_memory.c",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "5d1d96f9787696a8c491076095ee5779fa371d9f",
      "old_mode": 33188,
      "old_path": "libsel4vmm/src/platform/guest_vspace.c",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "b401bc54a8f528f25b25da1db7b9d36e2d2523fc",
      "old_mode": 33188,
      "old_path": "libsel4vmm/src/processor/cpuid.c",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "d017dd944a84dbbd48e8ae9ebb73bbd5ff27e60a",
      "old_mode": 33188,
      "old_path": "libsel4vmm/src/processor/cr.c",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "e780efc8dabe08b26e0bd94c0f9625c7a2da1fef",
      "old_mode": 33188,
      "old_path": "libsel4vmm/src/processor/decode.c",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "03943afef542943d66f8977889aa7fee6befaf48",
      "old_mode": 33188,
      "old_path": "libsel4vmm/src/processor/lapic.c",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "235732e1d29dd78ede757c0e76d9acc32c98fee3",
      "old_mode": 33188,
      "old_path": "libsel4vmm/src/processor/msr.c",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "addc189c51143104ba55aef077ff011d0bb2ad53",
      "old_mode": 33188,
      "old_path": "libsel4vmm/src/vmm/debug.c",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "d5840aaf25efda059a10ccd5c502ba19a2a48f8a",
      "old_mode": 33188,
      "old_path": "libsel4vmm/src/vmm/ept.c",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "5f5c9fafa37319c8923de40622fb12b120a868ef",
      "old_mode": 33188,
      "old_path": "libsel4vmm/src/vmm/halt.c",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "8d74f75764d7b27ec3bbbc37d43d09713b5eea77",
      "old_mode": 33188,
      "old_path": "libsel4vmm/src/vmm/interrupt.c",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "c9c005d53036c4809ce95903a0700ac80805a743",
      "old_mode": 33188,
      "old_path": "libsel4vmm/src/vmm/io.c",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "1dde9e866de85124bb563966c85d41b6c97c80e3",
      "old_mode": 33188,
      "old_path": "libsel4vmm/src/vmm/mmio.c",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "0121845bf771cc640d0d78dd7024d6df23a4f557",
      "old_mode": 33188,
      "old_path": "libsel4vmm/src/vmm/vchan_component.c",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "aeb7b5ebaa94d1015fd1ac2ac9c6dd4c95857494",
      "old_mode": 33188,
      "old_path": "libsel4vmm/src/vmm/vmcall.c",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "a00c101978203f5241a77881ec8f4f91b291123e",
      "old_mode": 33188,
      "old_path": "libsel4vmm/src/vmm/vmcs.c",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "484d8b508d943141a80b3c5e098ffc46dd4b0540",
      "old_mode": 33188,
      "old_path": "libsel4vmm/src/vmm/vmm.c",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "422e38c086c49161a0a2e971258ab43f07a43754",
      "old_mode": 33188,
      "old_path": "libsel4vmm/src/vmm/vmx_timer.c",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    }
  ]
}