)]}'
{
  "commit": "e9a9ff4f8b43034c44b23fe7659a9ace66d9dbdc",
  "tree": "290016ed03e6bf39eeef9c3447092517f53930eb",
  "parents": [
    "4f4c9c259f79ea6334a852f13455aa4794bbb3b7"
  ],
  "author": {
    "name": "Yu Hou",
    "email": "Yu.Hou@data61.csiro.au",
    "time": "Thu Jul 18 17:26:01 2019 +1000"
  },
  "committer": {
    "name": "Yu Hou",
    "email": "Yu.Hou@data61.csiro.au",
    "time": "Fri Jul 19 01:49:51 2019 +1000"
  },
  "message": "Trivial: Style fix\n\nmake the style checker happy\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "eee866599f054fab574dbb659241b16aff5c7764",
      "old_mode": 33188,
      "old_path": "libsel4debug/CMakeLists.txt",
      "new_id": "fad98da5b2f8ff135fb82552fd8db6433f8e2a71",
      "new_mode": 33188,
      "new_path": "libsel4debug/CMakeLists.txt"
    },
    {
      "type": "modify",
      "old_id": "45561a8bef473614f72ffafe761e2e8d96e21c6d",
      "old_mode": 33188,
      "old_path": "libsel4debug/src/alloc.c",
      "new_id": "2bd5e0558b71ee129ea6be6e51fe47d81375b61c",
      "new_mode": 33188,
      "new_path": "libsel4debug/src/alloc.c"
    },
    {
      "type": "modify",
      "old_id": "4d695ae2b0754acc7a5ae6fa2919b65607fc686b",
      "old_mode": 33188,
      "old_path": "libsel4debug/src/backtrace.c",
      "new_id": "1674f11dde4c22669a5c3c143b31e0d6f5bb24fa",
      "new_mode": 33188,
      "new_path": "libsel4debug/src/backtrace.c"
    },
    {
      "type": "modify",
      "old_id": "7503ea09d0222b2dbba18960e516b005ca9da5ad",
      "old_mode": 33188,
      "old_path": "libsel4debug/src/bootinfo.c",
      "new_id": "44e01f305ac9c4cdf0cd4726964ee5a3df6a833a",
      "new_mode": 33188,
      "new_path": "libsel4debug/src/bootinfo.c"
    },
    {
      "type": "modify",
      "old_id": "1a1eef7bf11e3580b027dd75e41130ca80662584",
      "old_mode": 33188,
      "old_path": "libsel4debug/src/caps.c",
      "new_id": "49baa05af8601e6b0bf40e0a93ec4fa7d9a8f86b",
      "new_mode": 33188,
      "new_path": "libsel4debug/src/caps.c"
    },
    {
      "type": "modify",
      "old_id": "54a37bfb087c1b6a20ec10e8bf1554fb403dad83",
      "old_mode": 33188,
      "old_path": "libsel4muslcsys/include/arch_stdio.h",
      "new_id": "199c02ad0de124c6110f20e0dd15ba93783619ae",
      "new_mode": 33188,
      "new_path": "libsel4muslcsys/include/arch_stdio.h"
    },
    {
      "type": "modify",
      "old_id": "acbf542349700e31e143e2b3b4f2743adba73b10",
      "old_mode": 33188,
      "old_path": "libsel4muslcsys/include/muslcsys/io.h",
      "new_id": "2c9a73ff755af32e8c02926703c9b1d00ad5c36e",
      "new_mode": 33188,
      "new_path": "libsel4muslcsys/include/muslcsys/io.h"
    },
    {
      "type": "modify",
      "old_id": "101d4cbc2507a80e229dd3fb964ade87c8a07d32",
      "old_mode": 33188,
      "old_path": "libsel4muslcsys/src/sys_exit.c",
      "new_id": "258e22a96e9a217c423b91815457aec7e387bdc3",
      "new_mode": 33188,
      "new_path": "libsel4muslcsys/src/sys_exit.c"
    },
    {
      "type": "modify",
      "old_id": "ff1b138571e2b2f7affc861a6ef8d55f5a2957b2",
      "old_mode": 33188,
      "old_path": "libsel4muslcsys/src/sys_io.c",
      "new_id": "bd94f4e8cedda7af490e581d56b45cea5cfccbc5",
      "new_mode": 33188,
      "new_path": "libsel4muslcsys/src/sys_io.c"
    },
    {
      "type": "modify",
      "old_id": "0437bc7cd85853ba4c6e11d6f09c0de5c493a2c7",
      "old_mode": 33188,
      "old_path": "libsel4muslcsys/src/sys_morecore.c",
      "new_id": "fdd267bfcb92c4eba192fb3dd7facc569ed11c9b",
      "new_mode": 33188,
      "new_path": "libsel4muslcsys/src/sys_morecore.c"
    },
    {
      "type": "modify",
      "old_id": "f2a261ceb0460629a5cd431d1479813231ec0ce9",
      "old_mode": 33188,
      "old_path": "libsel4muslcsys/src/vsyscall.c",
      "new_id": "666e5ad867d9044bf7f6aa73570ff4b290683626",
      "new_mode": 33188,
      "new_path": "libsel4muslcsys/src/vsyscall.c"
    },
    {
      "type": "modify",
      "old_id": "3c98a5fee871f372d974eb892028bf3ff1e610ef",
      "old_mode": 33188,
      "old_path": "libsel4platsupport/include/sel4platsupport/timer.h",
      "new_id": "2f8fc7698b3c96f1d05a434c6a979bf812bef6fe",
      "new_mode": 33188,
      "new_path": "libsel4platsupport/include/sel4platsupport/timer.h"
    },
    {
      "type": "modify",
      "old_id": "e99bb226d277b9bb956c706b7767f4ead251ebf3",
      "old_mode": 33188,
      "old_path": "libsel4platsupport/src/device.c",
      "new_id": "084597f009680d351d0acc1a3e0479e2ff4c277a",
      "new_mode": 33188,
      "new_path": "libsel4platsupport/src/device.c"
    },
    {
      "type": "modify",
      "old_id": "20433beaa374fe400db4500f5b8c7029d1ac4bde",
      "old_mode": 33188,
      "old_path": "libsel4platsupport/src/io.c",
      "new_id": "fa2c87036881e0b6aeb6c0af67e23a3ca7b19e68",
      "new_mode": 33188,
      "new_path": "libsel4platsupport/src/io.c"
    },
    {
      "type": "modify",
      "old_id": "ffd482d6ce5d32ec971e1afc99d5f9b6eef01075",
      "old_mode": 33188,
      "old_path": "libsel4platsupport/src/plat/pc99/device.c",
      "new_id": "d1592e3ca7fa911570f6e933463ad3879cff1165",
      "new_mode": 33188,
      "new_path": "libsel4platsupport/src/plat/pc99/device.c"
    },
    {
      "type": "modify",
      "old_id": "b6488746fd22b9f39401e5de5e8bc4b32b5f2698",
      "old_mode": 33188,
      "old_path": "libsel4serialserver/CMakeLists.txt",
      "new_id": "d59d111aff642cc99e896a4aa46878f3717e832c",
      "new_mode": 33188,
      "new_path": "libsel4serialserver/CMakeLists.txt"
    },
    {
      "type": "modify",
      "old_id": "0771a304d8cbd2e9ae278ed8a1c6b8380833b81a",
      "old_mode": 33188,
      "old_path": "libsel4serialserver/src/server.c",
      "new_id": "c13c198a206de0aa5b45bff4290fb73e290f1830",
      "new_mode": 33188,
      "new_path": "libsel4serialserver/src/server.c"
    },
    {
      "type": "modify",
      "old_id": "a6521487900e02acb38faafb4080ca5a55e7b161",
      "old_mode": 33188,
      "old_path": "libsel4test/CMakeLists.txt",
      "new_id": "7a0515480765e2e4c01a63152c90bb18aa1902de",
      "new_mode": 33188,
      "new_path": "libsel4test/CMakeLists.txt"
    },
    {
      "type": "modify",
      "old_id": "3909655b7c27a31b8d8dea7caf1c8150be3437b5",
      "old_mode": 33188,
      "old_path": "libsel4test/src/testutil.c",
      "new_id": "241ce9f52eca2279a676de4bb2b847068587a402",
      "new_mode": 33188,
      "new_path": "libsel4test/src/testutil.c"
    },
    {
      "type": "modify",
      "old_id": "f017e72b4dba0f016f80cb543d523114def30db8",
      "old_mode": 33188,
      "old_path": "libsel4utils/CMakeLists.txt",
      "new_id": "35dc686f94ba86bfe68a4922ff096b3879c28cb7",
      "new_mode": 33188,
      "new_path": "libsel4utils/CMakeLists.txt"
    },
    {
      "type": "modify",
      "old_id": "fa8b7b8c3ed9b04307be67d30a03040e195c5442",
      "old_mode": 33188,
      "old_path": "libsel4utils/include/sel4utils/benchmark.h",
      "new_id": "31a0696aeee7c28bb3bf912f7f0c0494babc33ec",
      "new_mode": 33188,
      "new_path": "libsel4utils/include/sel4utils/benchmark.h"
    },
    {
      "type": "modify",
      "old_id": "f1a443ad89fcfbae245115377c7a45cae8870626",
      "old_mode": 33188,
      "old_path": "libsel4utils/include/sel4utils/benchmark_track.h",
      "new_id": "199542d907f343b087fc92d21d5e083eeb52027e",
      "new_mode": 33188,
      "new_path": "libsel4utils/include/sel4utils/benchmark_track.h"
    },
    {
      "type": "modify",
      "old_id": "8f06b9c0ffc78cfff9677c2cbf6aa8100afbddbe",
      "old_mode": 33188,
      "old_path": "libsel4utils/include/sel4utils/elf.h",
      "new_id": "deb720bd767a74bc7269edd42ec6cee9327c3bd8",
      "new_mode": 33188,
      "new_path": "libsel4utils/include/sel4utils/elf.h"
    },
    {
      "type": "modify",
      "old_id": "578ab89b52d81acd9f283b9774ba359b42c82537",
      "old_mode": 33188,
      "old_path": "libsel4utils/include/sel4utils/iommu_dma.h",
      "new_id": "1ab3a43be747ec06230a076f8f9ae15413c6506f",
      "new_mode": 33188,
      "new_path": "libsel4utils/include/sel4utils/iommu_dma.h"
    },
    {
      "type": "modify",
      "old_id": "248cca733c24643efb0282f0c4fdef772294e8ce",
      "old_mode": 33188,
      "old_path": "libsel4utils/include/sel4utils/mapping.h",
      "new_id": "e45b97deb251aa315504b656c23aa467a20b7f83",
      "new_mode": 33188,
      "new_path": "libsel4utils/include/sel4utils/mapping.h"
    },
    {
      "type": "modify",
      "old_id": "20eca6a69a3b4b0cc4acbaa345152e461176d1b5",
      "old_mode": 33188,
      "old_path": "libsel4utils/include/sel4utils/process.h",
      "new_id": "a9e0f1ba90525da8a8db758ba90006617d301be7",
      "new_mode": 33188,
      "new_path": "libsel4utils/include/sel4utils/process.h"
    },
    {
      "type": "modify",
      "old_id": "c3c7c5a56e78833ba925210f6f872039409fdd8c",
      "old_mode": 33188,
      "old_path": "libsel4utils/include/sel4utils/process_config.h",
      "new_id": "2acd883741aaa37bc3819394e60499d96bfd6440",
      "new_mode": 33188,
      "new_path": "libsel4utils/include/sel4utils/process_config.h"
    },
    {
      "type": "modify",
      "old_id": "879e96544b80ea3b3325bc92ec41d1c0cdd2673d",
      "old_mode": 33188,
      "old_path": "libsel4utils/include/sel4utils/thread.h",
      "new_id": "7b15e965ef676368acc6070eb45ea95f76113d1b",
      "new_mode": 33188,
      "new_path": "libsel4utils/include/sel4utils/thread.h"
    },
    {
      "type": "modify",
      "old_id": "d0167dfb4a045f1871496feb4d1890b2fa54ff54",
      "old_mode": 33188,
      "old_path": "libsel4utils/include/sel4utils/thread_config.h",
      "new_id": "3799a9b6f9ea098d7a6c76ce1c7591f07da05ecc",
      "new_mode": 33188,
      "new_path": "libsel4utils/include/sel4utils/thread_config.h"
    },
    {
      "type": "modify",
      "old_id": "85672b20ab800878097aa1449c0a0e4a8fc67601",
      "old_mode": 33188,
      "old_path": "libsel4utils/include/sel4utils/util.h",
      "new_id": "96a060467e7cd7344ecf2ec944644f51f872e961",
      "new_mode": 33188,
      "new_path": "libsel4utils/include/sel4utils/util.h"
    },
    {
      "type": "modify",
      "old_id": "7905143e75ed9594eb777615ee562cb7a2a7bab9",
      "old_mode": 33188,
      "old_path": "libsel4utils/include/sel4utils/vspace.h",
      "new_id": "17d589d4fd84d14e0bc93a2190b579a2571535e6",
      "new_mode": 33188,
      "new_path": "libsel4utils/include/sel4utils/vspace.h"
    },
    {
      "type": "modify",
      "old_id": "b62f127d2f712fd70227a76f40306bf5ba1e6f3b",
      "old_mode": 33188,
      "old_path": "libsel4utils/include/sel4utils/vspace_internal.h",
      "new_id": "55f545d274851f991a0225ff736ef9467e4a4f6e",
      "new_mode": 33188,
      "new_path": "libsel4utils/include/sel4utils/vspace_internal.h"
    },
    {
      "type": "modify",
      "old_id": "47160d45855309d1677d668862538122b63cf373",
      "old_mode": 33188,
      "old_path": "libsel4utils/sel4_arch_include/aarch32/sel4utils/sel4_arch/util.h",
      "new_id": "c52971ac9e93db93d209a4dada908d955589bf92",
      "new_mode": 33188,
      "new_path": "libsel4utils/sel4_arch_include/aarch32/sel4utils/sel4_arch/util.h"
    },
    {
      "type": "modify",
      "old_id": "3f34b55ebddaf9f00219ac86fbbb3713c5fe3e53",
      "old_mode": 33188,
      "old_path": "libsel4utils/src/arch/riscv/arch.c",
      "new_id": "45303f465c1d81145046c91c3dc6658e85ec7fb3",
      "new_mode": 33188,
      "new_path": "libsel4utils/src/arch/riscv/arch.c"
    },
    {
      "type": "modify",
      "old_id": "47495b26cc64ecbdcfa71787ee69f07f21a90454",
      "old_mode": 33188,
      "old_path": "libsel4utils/src/elf.c",
      "new_id": "996e484403163c8adf139070241f738259512395",
      "new_mode": 33188,
      "new_path": "libsel4utils/src/elf.c"
    },
    {
      "type": "modify",
      "old_id": "2673c7d42a8e0f4f310bb7bb6b7928eb5eef352c",
      "old_mode": 33188,
      "old_path": "libsel4utils/src/iommu_dma.c",
      "new_id": "92821137c5e48b9a98d035c16c9b18ddb65aeef6",
      "new_mode": 33188,
      "new_path": "libsel4utils/src/iommu_dma.c"
    },
    {
      "type": "modify",
      "old_id": "26d12a51625631eb2d3ce94b2a093350e1bb8e80",
      "old_mode": 33188,
      "old_path": "libsel4utils/src/page_dma.c",
      "new_id": "f63ca475a50650b100254c8ab3aa2d18044a76c4",
      "new_mode": 33188,
      "new_path": "libsel4utils/src/page_dma.c"
    },
    {
      "type": "modify",
      "old_id": "1135c3ba88f3ade982f0c5fd4e6fa52bd97d0019",
      "old_mode": 33188,
      "old_path": "libsel4utils/src/sel4_arch/aarch32/arch.c",
      "new_id": "46d1723dacea4f9f2a83b726a9d428cdfbf19ee2",
      "new_mode": 33188,
      "new_path": "libsel4utils/src/sel4_arch/aarch32/arch.c"
    },
    {
      "type": "modify",
      "old_id": "98e63c5269c0c66ae4595e098ae06925d3219565",
      "old_mode": 33188,
      "old_path": "libsel4utils/src/sel4_arch/aarch64/arch.c",
      "new_id": "d0b950eba449b6e39c37112d66be0a1c95e09b01",
      "new_mode": 33188,
      "new_path": "libsel4utils/src/sel4_arch/aarch64/arch.c"
    },
    {
      "type": "modify",
      "old_id": "7436ddaf106d8a07fbb76ec19267b6cd2e680a6f",
      "old_mode": 33188,
      "old_path": "libsel4utils/src/sel4_arch/x86_64/arch.c",
      "new_id": "8d1653ac01297a1a716e6b3543d0bc83d33928bd",
      "new_mode": 33188,
      "new_path": "libsel4utils/src/sel4_arch/x86_64/arch.c"
    },
    {
      "type": "modify",
      "old_id": "7220c604b157d1cb073581ab9b232b7ba94b9b5b",
      "old_mode": 33188,
      "old_path": "libsel4utils/src/vspace/bootstrap.c",
      "new_id": "655fdf275d12c6ccd2af78818e911fe87ee080a5",
      "new_mode": 33188,
      "new_path": "libsel4utils/src/vspace/bootstrap.c"
    },
    {
      "type": "modify",
      "old_id": "04d0550ec4b54801fc8969c25f4f12aba5556b02",
      "old_mode": 33188,
      "old_path": "libsel4utils/src/vspace/vspace.c",
      "new_id": "032cfb8e44a72f9a923c4ee91d17e13b894eaaaf",
      "new_mode": 33188,
      "new_path": "libsel4utils/src/vspace/vspace.c"
    },
    {
      "type": "modify",
      "old_id": "eab40163c110b346d78b7a7e27b6a6169cee5624",
      "old_mode": 33188,
      "old_path": "libsel4vka/arch_include/arm/vka/arch/kobject_t.h",
      "new_id": "2dc4a508cdd19a39d94223bbee886396d6b660de",
      "new_mode": 33188,
      "new_path": "libsel4vka/arch_include/arm/vka/arch/kobject_t.h"
    },
    {
      "type": "modify",
      "old_id": "046db5f36f9a9162094caa866f547b5e08fe3bda",
      "old_mode": 33188,
      "old_path": "libsel4vka/arch_include/riscv/vka/arch/kobject_t.h",
      "new_id": "1be3976dceb273e6b3fb16cb302dccfa1e145a9e",
      "new_mode": 33188,
      "new_path": "libsel4vka/arch_include/riscv/vka/arch/kobject_t.h"
    },
    {
      "type": "modify",
      "old_id": "8497806ecb30287c2431d8b8e9cae968ab1637fe",
      "old_mode": 33188,
      "old_path": "libsel4vka/arch_include/x86/vka/arch/kobject_t.h",
      "new_id": "ee3f31efb78d0041f7df4e4b42a7285ca7d52dfe",
      "new_mode": 33188,
      "new_path": "libsel4vka/arch_include/x86/vka/arch/kobject_t.h"
    },
    {
      "type": "modify",
      "old_id": "b04c5359df6198034b43564c796b0d08a10ed77b",
      "old_mode": 33188,
      "old_path": "libsel4vka/include/vka/capops.h",
      "new_id": "d684884357a3f5a44e2735704d382791db3f51a4",
      "new_mode": 33188,
      "new_path": "libsel4vka/include/vka/capops.h"
    },
    {
      "type": "modify",
      "old_id": "95684ad6fd9cda2f9851c8d469a52bb984db3c78",
      "old_mode": 33188,
      "old_path": "libsel4vka/include/vka/ipcbuffer.h",
      "new_id": "3156280217930ce5c56d87b76b434b77409cbec0",
      "new_mode": 33188,
      "new_path": "libsel4vka/include/vka/ipcbuffer.h"
    },
    {
      "type": "modify",
      "old_id": "6b6f9c58dcd4e1edf7fd51d06b3a5a43efaa3e82",
      "old_mode": 33188,
      "old_path": "libsel4vka/include/vka/kobject_t.h",
      "new_id": "cad186546cf881f32b8ed396d8f505f0729c503e",
      "new_mode": 33188,
      "new_path": "libsel4vka/include/vka/kobject_t.h"
    },
    {
      "type": "modify",
      "old_id": "48c767a139bf0563a7e05a4c82e5b96a61c050dd",
      "old_mode": 33188,
      "old_path": "libsel4vka/include/vka/vka.h",
      "new_id": "542c7cde10a3caf9f834576a931d97e509dbb015",
      "new_mode": 33188,
      "new_path": "libsel4vka/include/vka/vka.h"
    },
    {
      "type": "modify",
      "old_id": "a2ec217e82cb89c93b6d1f7a0cf0adb607efecbd",
      "old_mode": 33188,
      "old_path": "libsel4vka/sel4_arch_include/aarch32/vka/sel4_arch/kobject_t.h",
      "new_id": "17b5d37d4efde997711056891afdf978aa10da62",
      "new_mode": 33188,
      "new_path": "libsel4vka/sel4_arch_include/aarch32/vka/sel4_arch/kobject_t.h"
    },
    {
      "type": "modify",
      "old_id": "53c784dcee7f05577363b283e2cc109ca555f6ca",
      "old_mode": 33188,
      "old_path": "libsel4vka/sel4_arch_include/aarch32/vka/sel4_arch/object.h",
      "new_id": "783722ad736042523a9e8830ae8864f094c60725",
      "new_mode": 33188,
      "new_path": "libsel4vka/sel4_arch_include/aarch32/vka/sel4_arch/object.h"
    },
    {
      "type": "modify",
      "old_id": "0421af2de1b5692c6518a25d3a39814df807c93d",
      "old_mode": 33188,
      "old_path": "libsel4vka/sel4_arch_include/aarch64/vka/sel4_arch/kobject_t.h",
      "new_id": "46aab67d1f305a9889683283f4e042a2eab5d467",
      "new_mode": 33188,
      "new_path": "libsel4vka/sel4_arch_include/aarch64/vka/sel4_arch/kobject_t.h"
    },
    {
      "type": "modify",
      "old_id": "6f888b6806aaa998ca12470ba7bab29b5e625b4c",
      "old_mode": 33188,
      "old_path": "libsel4vka/sel4_arch_include/ia32/vka/sel4_arch/kobject_t.h",
      "new_id": "78b38947b0d773d81e0f727b153543410f180a10",
      "new_mode": 33188,
      "new_path": "libsel4vka/sel4_arch_include/ia32/vka/sel4_arch/kobject_t.h"
    },
    {
      "type": "modify",
      "old_id": "55a908cfc9bf7dd6a444b5e10b4418637364b1f1",
      "old_mode": 33188,
      "old_path": "libsel4vka/sel4_arch_include/x86_64/vka/sel4_arch/kobject_t.h",
      "new_id": "1d929390d239a34a4f7ddd499401d22cebd83d7a",
      "new_mode": 33188,
      "new_path": "libsel4vka/sel4_arch_include/x86_64/vka/sel4_arch/kobject_t.h"
    },
    {
      "type": "modify",
      "old_id": "6503567eea791db33caf901e0201822fc2db6127",
      "old_mode": 33188,
      "old_path": "libsel4vka/src/debug-vka.c",
      "new_id": "4fda2d350de890c4e89e8217193ccde0a4566a07",
      "new_mode": 33188,
      "new_path": "libsel4vka/src/debug-vka.c"
    },
    {
      "type": "modify",
      "old_id": "d6676229b8f1f7ac62e72a19a93c76ceef95dc2c",
      "old_mode": 33188,
      "old_path": "libsel4vmm/CMakeLists.txt",
      "new_id": "5694a6065597d92739ea960da704b821c2aafbad",
      "new_mode": 33188,
      "new_path": "libsel4vmm/CMakeLists.txt"
    },
    {
      "type": "modify",
      "old_id": "4dcf6ff84f3d72797c5513fce05e8173f5d966f1",
      "old_mode": 33188,
      "old_path": "libsel4vmm/include/vmm/debug.h",
      "new_id": "e9a407b3629e0a41e5e61b3380cee8dcebcf8ca4",
      "new_mode": 33188,
      "new_path": "libsel4vmm/include/vmm/debug.h"
    },
    {
      "type": "modify",
      "old_id": "11f6e7249707626ace3e55bc4d1fc4441559d394",
      "old_mode": 33188,
      "old_path": "libsel4vmm/include/vmm/platform/guest_vspace.h",
      "new_id": "d0a1fb3c692e99df2f27a3d2073269a5d0d441c1",
      "new_mode": 33188,
      "new_path": "libsel4vmm/include/vmm/platform/guest_vspace.h"
    },
    {
      "type": "modify",
      "old_id": "44eae043aad10af4208cb0648df6a8d19e839750",
      "old_mode": 33188,
      "old_path": "libsel4vmm/src/driver/virtio_emul.c",
      "new_id": "80bfb0da46dff2f22b7ba0f229195c086175c7b3",
      "new_mode": 33188,
      "new_path": "libsel4vmm/src/driver/virtio_emul.c"
    },
    {
      "type": "modify",
      "old_id": "9b01ab3fa7e7fb486454294f5fb858fa3a71e414",
      "old_mode": 33188,
      "old_path": "libsel4vmm/src/platform/boot.c",
      "new_id": "d9eadf1e75183f61d1ae7489830e936469690763",
      "new_mode": 33188,
      "new_path": "libsel4vmm/src/platform/boot.c"
    },
    {
      "type": "modify",
      "old_id": "857de19047100cb76f481970bddca6cf555992ac",
      "old_mode": 33188,
      "old_path": "libsel4vmm/src/platform/boot_guest.c",
      "new_id": "00d3dc02dcd8ccf65d09f42c86a9fba5e63a17b2",
      "new_mode": 33188,
      "new_path": "libsel4vmm/src/platform/boot_guest.c"
    },
    {
      "type": "modify",
      "old_id": "eb50ab5750de755d5f87ba8b393c1849c961b7c4",
      "old_mode": 33188,
      "old_path": "libsel4vmm/src/platform/guest_memory.c",
      "new_id": "418fcc1015ed9af66f72ab94e9df05a5b1df597d",
      "new_mode": 33188,
      "new_path": "libsel4vmm/src/platform/guest_memory.c"
    },
    {
      "type": "modify",
      "old_id": "74c8845f32393df50724c815c0df158d75deaad7",
      "old_mode": 33188,
      "old_path": "libsel4vmm/src/platform/guest_vspace.c",
      "new_id": "5d1d96f9787696a8c491076095ee5779fa371d9f",
      "new_mode": 33188,
      "new_path": "libsel4vmm/src/platform/guest_vspace.c"
    },
    {
      "type": "modify",
      "old_id": "0edef164bdf54bd706744b7fe01cd6d68d9dce3b",
      "old_mode": 33188,
      "old_path": "libsel4vmm/src/vmm/vmx_timer.c",
      "new_id": "422e38c086c49161a0a2e971258ab43f07a43754",
      "new_mode": 33188,
      "new_path": "libsel4vmm/src/vmm/vmx_timer.c"
    }
  ]
}