)]}'
{
  "commit": "e23dc54b887419df6f436ec42be5e9d1057553f7",
  "tree": "c4de9016d653eb732d0aa3821fa9c40a88c7d629",
  "parents": [
    "74156bbe0ad6d6fea578fa39447aa9eb8dbc5f1c"
  ],
  "author": {
    "name": "Yu Hou",
    "email": "Yu.Hou@data61.csiro.au",
    "time": "Mon May 20 15:29:15 2019 +1000"
  },
  "committer": {
    "name": "Yu Hou",
    "email": "Yu.Hou@data61.csiro.au",
    "time": "Fri Jul 19 01:48:53 2019 +1000"
  },
  "message": "seL4_libs: remove autoconf.h from seL4_libs\n\nthis commit removes autoconf.h generation from each lib and\nappend \u0027#include \u003c\u003clib_name\u003e/gen_config.h\u003e\u0027 after each\n\u0027#include \u003cautoconf.h\u003e\u0027 since autoconf.h is only the for the\nkernel config now. This is a temporarily solution, since we\ncurrently don\u0027t have a way to tell which header files each file\nis trying to include when it includes \u0027autoconf.h\u0027\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "f00e26836e63f6b17c07a02a69d75ed57f50d29b",
      "old_mode": 33188,
      "old_path": "CMakeLists.txt",
      "new_id": "292b076856b2d78827d7d72b4359fff7bf33fb12",
      "new_mode": 33188,
      "new_path": "CMakeLists.txt"
    },
    {
      "type": "modify",
      "old_id": "d17ae4646ebaf9baafa04e3a76d855798d4d6bd2",
      "old_mode": 33188,
      "old_path": "libsel4allocman/CMakeLists.txt",
      "new_id": "bf145a0e4f977b659c4ceb35753faf4c0781974c",
      "new_mode": 33188,
      "new_path": "libsel4allocman/CMakeLists.txt"
    },
    {
      "type": "modify",
      "old_id": "b30d55cc1c2aef905ec8cd82c576f8036fabb833",
      "old_mode": 33188,
      "old_path": "libsel4bench/CMakeLists.txt",
      "new_id": "1db46bc4e531ee9d827b2aab4c71ba39f5242684",
      "new_mode": 33188,
      "new_path": "libsel4bench/CMakeLists.txt"
    },
    {
      "type": "modify",
      "old_id": "7bf01e92e248724839de72c5371392f2ae4e8133",
      "old_mode": 33188,
      "old_path": "libsel4debug/CMakeLists.txt",
      "new_id": "4b950aa2f965f4de23936245c4799b103bee4dca",
      "new_mode": 33188,
      "new_path": "libsel4debug/CMakeLists.txt"
    },
    {
      "type": "modify",
      "old_id": "a128ae51b2c47fb08306a16cbe862ae19f013fbc",
      "old_mode": 33188,
      "old_path": "libsel4debug/include/sel4debug/debug.h",
      "new_id": "e2c203cf32fc777f2746fc68882a0ddb114e3bbd",
      "new_mode": 33188,
      "new_path": "libsel4debug/include/sel4debug/debug.h"
    },
    {
      "type": "modify",
      "old_id": "2a77ab34c44b6e07ab626f463ccff9543b0f958a",
      "old_mode": 33188,
      "old_path": "libsel4debug/src/alloc.c",
      "new_id": "45561a8bef473614f72ffafe761e2e8d96e21c6d",
      "new_mode": 33188,
      "new_path": "libsel4debug/src/alloc.c"
    },
    {
      "type": "modify",
      "old_id": "fba581a6fda870cbf86a10e0563d7ac950a6d80b",
      "old_mode": 33188,
      "old_path": "libsel4debug/src/backtrace.c",
      "new_id": "4d695ae2b0754acc7a5ae6fa2919b65607fc686b",
      "new_mode": 33188,
      "new_path": "libsel4debug/src/backtrace.c"
    },
    {
      "type": "modify",
      "old_id": "15e3727e83448cfc69b2635ec697b473500c615a",
      "old_mode": 33188,
      "old_path": "libsel4debug/src/bootinfo.c",
      "new_id": "7503ea09d0222b2dbba18960e516b005ca9da5ad",
      "new_mode": 33188,
      "new_path": "libsel4debug/src/bootinfo.c"
    },
    {
      "type": "modify",
      "old_id": "a0715c5cfb7f7bb9241e1eabd66cbd8557db55aa",
      "old_mode": 33188,
      "old_path": "libsel4debug/src/caps.c",
      "new_id": "1a1eef7bf11e3580b027dd75e41130ca80662584",
      "new_mode": 33188,
      "new_path": "libsel4debug/src/caps.c"
    },
    {
      "type": "modify",
      "old_id": "5cf2d51d385458991c2c1e5ccbfe524f789b4519",
      "old_mode": 33188,
      "old_path": "libsel4debug/src/trace.c",
      "new_id": "ea92c41a41a8dcb1f249a14fc7d75347b6d91e1b",
      "new_mode": 33188,
      "new_path": "libsel4debug/src/trace.c"
    },
    {
      "type": "modify",
      "old_id": "d52466e9787f8cf3828aff7b6a462e79c93cea05",
      "old_mode": 33188,
      "old_path": "libsel4muslcsys/CMakeLists.txt",
      "new_id": "4f0615c1112521ec829b8ab075b837fd384f8511",
      "new_mode": 33188,
      "new_path": "libsel4muslcsys/CMakeLists.txt"
    },
    {
      "type": "modify",
      "old_id": "c67aecb5f4580655ae01660254bd3aed92212b33",
      "old_mode": 33188,
      "old_path": "libsel4muslcsys/include/arch_stdio.h",
      "new_id": "54a37bfb087c1b6a20ec10e8bf1554fb403dad83",
      "new_mode": 33188,
      "new_path": "libsel4muslcsys/include/arch_stdio.h"
    },
    {
      "type": "modify",
      "old_id": "192c71ad6ade010377c36e0faa35dd2aacc74ee3",
      "old_mode": 33188,
      "old_path": "libsel4muslcsys/include/muslcsys/io.h",
      "new_id": "acbf542349700e31e143e2b3b4f2743adba73b10",
      "new_mode": 33188,
      "new_path": "libsel4muslcsys/include/muslcsys/io.h"
    },
    {
      "type": "modify",
      "old_id": "d4273d171784f6ce4f6f6756b375dd57f93c0b03",
      "old_mode": 33188,
      "old_path": "libsel4muslcsys/include/muslcsys/vsyscall.h",
      "new_id": "722cee7eeb8f763d13d9bcb204952a19451c42b6",
      "new_mode": 33188,
      "new_path": "libsel4muslcsys/include/muslcsys/vsyscall.h"
    },
    {
      "type": "modify",
      "old_id": "6fe300e0a8db2ebe857927958a35964e9761078c",
      "old_mode": 33188,
      "old_path": "libsel4muslcsys/src/sys_exit.c",
      "new_id": "101d4cbc2507a80e229dd3fb964ade87c8a07d32",
      "new_mode": 33188,
      "new_path": "libsel4muslcsys/src/sys_exit.c"
    },
    {
      "type": "modify",
      "old_id": "cf4263490db31baf368d90fb9a8e7c946f5a8825",
      "old_mode": 33188,
      "old_path": "libsel4muslcsys/src/sys_io.c",
      "new_id": "ff1b138571e2b2f7affc861a6ef8d55f5a2957b2",
      "new_mode": 33188,
      "new_path": "libsel4muslcsys/src/sys_io.c"
    },
    {
      "type": "modify",
      "old_id": "9090fb712c563b456c8a1b2bcb9be6d67aecb34a",
      "old_mode": 33188,
      "old_path": "libsel4muslcsys/src/sys_morecore.c",
      "new_id": "0437bc7cd85853ba4c6e11d6f09c0de5c493a2c7",
      "new_mode": 33188,
      "new_path": "libsel4muslcsys/src/sys_morecore.c"
    },
    {
      "type": "modify",
      "old_id": "20ab216b12ca2659dcaf3f6829b69f8ff4b9b8ed",
      "old_mode": 33188,
      "old_path": "libsel4muslcsys/src/vsyscall.c",
      "new_id": "f2a261ceb0460629a5cd431d1479813231ec0ce9",
      "new_mode": 33188,
      "new_path": "libsel4muslcsys/src/vsyscall.c"
    },
    {
      "type": "modify",
      "old_id": "0411bb644e4243a2bb14faaab98c167db8906b63",
      "old_mode": 33188,
      "old_path": "libsel4platsupport/CMakeLists.txt",
      "new_id": "fc7c282ac63752516c31e129b9f53bc4adce4eff",
      "new_mode": 33188,
      "new_path": "libsel4platsupport/CMakeLists.txt"
    },
    {
      "type": "modify",
      "old_id": "9ca9fa2b102f1e5fdec7a006dc4d3c92e2455089",
      "old_mode": 33188,
      "old_path": "libsel4platsupport/include/sel4platsupport/timer.h",
      "new_id": "3c98a5fee871f372d974eb892028bf3ff1e610ef",
      "new_mode": 33188,
      "new_path": "libsel4platsupport/include/sel4platsupport/timer.h"
    },
    {
      "type": "modify",
      "old_id": "9e6d8e62bb1fac4f9bd2d587c271a19b51fbe794",
      "old_mode": 33188,
      "old_path": "libsel4platsupport/src/common.c",
      "new_id": "38dfdca47fa67563fb09756392920aa2f87e546b",
      "new_mode": 33188,
      "new_path": "libsel4platsupport/src/common.c"
    },
    {
      "type": "modify",
      "old_id": "023de07271e0a08959ce51c86436ab534b04c356",
      "old_mode": 33188,
      "old_path": "libsel4platsupport/src/device.c",
      "new_id": "e99bb226d277b9bb956c706b7767f4ead251ebf3",
      "new_mode": 33188,
      "new_path": "libsel4platsupport/src/device.c"
    },
    {
      "type": "modify",
      "old_id": "249f0d826ac67476c217b5609c677878c5ca8daf",
      "old_mode": 33188,
      "old_path": "libsel4platsupport/src/io.c",
      "new_id": "20433beaa374fe400db4500f5b8c7029d1ac4bde",
      "new_mode": 33188,
      "new_path": "libsel4platsupport/src/io.c"
    },
    {
      "type": "modify",
      "old_id": "6c31b18436e5bd2c8320693cbc25e29cb22f65ee",
      "old_mode": 33188,
      "old_path": "libsel4platsupport/src/plat/pc99/device.c",
      "new_id": "ffd482d6ce5d32ec971e1afc99d5f9b6eef01075",
      "new_mode": 33188,
      "new_path": "libsel4platsupport/src/plat/pc99/device.c"
    },
    {
      "type": "modify",
      "old_id": "3d337f8f2b5fc7070473dead561095cbc0783b69",
      "old_mode": 33188,
      "old_path": "libsel4platsupport/src/sel4_arch/aarch32/crt0.S",
      "new_id": "50fe94ff0ae578eb109f9315b6bed6fdecd92c35",
      "new_mode": 33188,
      "new_path": "libsel4platsupport/src/sel4_arch/aarch32/crt0.S"
    },
    {
      "type": "modify",
      "old_id": "402fb4d7e3be521167a6a59ce1f7f30ce0e9e710",
      "old_mode": 33188,
      "old_path": "libsel4platsupport/src/sel4_arch/aarch64/crt0.S",
      "new_id": "84988399887f998676796199141a53d446e66895",
      "new_mode": 33188,
      "new_path": "libsel4platsupport/src/sel4_arch/aarch64/crt0.S"
    },
    {
      "type": "modify",
      "old_id": "e939f4ca3a17feac93dc889164d71bdf2e16994d",
      "old_mode": 33188,
      "old_path": "libsel4platsupport/src/sel4_arch/ia32/crt0.S",
      "new_id": "0082b194b645ad7b536d9c00bc3bccbf54869409",
      "new_mode": 33188,
      "new_path": "libsel4platsupport/src/sel4_arch/ia32/crt0.S"
    },
    {
      "type": "modify",
      "old_id": "a07e275b4a8b59786bd0d6776a30d4db65820bc5",
      "old_mode": 33188,
      "old_path": "libsel4platsupport/src/sel4_arch/x86_64/crt0.S",
      "new_id": "f0c3dd5673b7eede77f09348df464f526cf713f8",
      "new_mode": 33188,
      "new_path": "libsel4platsupport/src/sel4_arch/x86_64/crt0.S"
    },
    {
      "type": "modify",
      "old_id": "059ecd1857885f34e35a1315f12760ff5a810ba6",
      "old_mode": 33188,
      "old_path": "libsel4platsupport/src/serial.c",
      "new_id": "635ba7249947b400f6686999c2f91bf6f5f333fe",
      "new_mode": 33188,
      "new_path": "libsel4platsupport/src/serial.c"
    },
    {
      "type": "modify",
      "old_id": "d9b821ccde43d0188771d83692407132a49c6eda",
      "old_mode": 33188,
      "old_path": "libsel4platsupport/src/timer.c",
      "new_id": "5988a9c41a3a716ea0bb5824b1d41c8ebda39bd1",
      "new_mode": 33188,
      "new_path": "libsel4platsupport/src/timer.c"
    },
    {
      "type": "modify",
      "old_id": "9a93d0386bcf91f7e9ee484cc715709a49040298",
      "old_mode": 33188,
      "old_path": "libsel4serialserver/CMakeLists.txt",
      "new_id": "9d57de2a3e0245bb007cd726067cfb47f8465518",
      "new_mode": 33188,
      "new_path": "libsel4serialserver/CMakeLists.txt"
    },
    {
      "type": "modify",
      "old_id": "8f42df1f7081242ff2f7f04e1e0c8295e7140161",
      "old_mode": 33188,
      "old_path": "libsel4serialserver/src/server.c",
      "new_id": "0771a304d8cbd2e9ae278ed8a1c6b8380833b81a",
      "new_mode": 33188,
      "new_path": "libsel4serialserver/src/server.c"
    },
    {
      "type": "modify",
      "old_id": "72327999033d0f538c2cdad7ed433a4d2efa15e2",
      "old_mode": 33188,
      "old_path": "libsel4simple-default/CMakeLists.txt",
      "new_id": "b8a689622da0474137a7523e15248b9fc216294a",
      "new_mode": 33188,
      "new_path": "libsel4simple-default/CMakeLists.txt"
    },
    {
      "type": "modify",
      "old_id": "21e16fcaf9e0910a392ed3f353baa2c473fc87e3",
      "old_mode": 33188,
      "old_path": "libsel4simple/CMakeLists.txt",
      "new_id": "57f846ea93e34496c3e8ed6fe33bf981c670fb5c",
      "new_mode": 33188,
      "new_path": "libsel4simple/CMakeLists.txt"
    },
    {
      "type": "modify",
      "old_id": "f61b1b784909f9858ace6d1210062d767cd3afaf",
      "old_mode": 33188,
      "old_path": "libsel4sync/CMakeLists.txt",
      "new_id": "7087d9b4c0db392c369b164fb4997153343046a7",
      "new_mode": 33188,
      "new_path": "libsel4sync/CMakeLists.txt"
    },
    {
      "type": "modify",
      "old_id": "845b0646de8893ecc2de12f52c092fe8b8df696f",
      "old_mode": 33188,
      "old_path": "libsel4test/CMakeLists.txt",
      "new_id": "f63c16665b10afb70f1c6d1b3a7eb2e28717debc",
      "new_mode": 33188,
      "new_path": "libsel4test/CMakeLists.txt"
    },
    {
      "type": "modify",
      "old_id": "281eb6077206046698f7b8b1e5aaea9c6d4d5484",
      "old_mode": 33188,
      "old_path": "libsel4test/include/sel4test/macros.h",
      "new_id": "8b3dfa296385cefce4fcfa10696d1fcf2ff95f29",
      "new_mode": 33188,
      "new_path": "libsel4test/include/sel4test/macros.h"
    },
    {
      "type": "modify",
      "old_id": "d64c688fd74e0e50e8b054a20a698a914644bdb4",
      "old_mode": 33188,
      "old_path": "libsel4test/include/sel4test/test.h",
      "new_id": "86adc3adf9959823d23e58a7143edb638c80683d",
      "new_mode": 33188,
      "new_path": "libsel4test/include/sel4test/test.h"
    },
    {
      "type": "modify",
      "old_id": "f5ddad6eb45c4f248236a7d7e6858a51f65924ca",
      "old_mode": 33188,
      "old_path": "libsel4test/include/sel4test/testutil.h",
      "new_id": "c6612060a4f15f384a352942a95b8893981e3047",
      "new_mode": 33188,
      "new_path": "libsel4test/include/sel4test/testutil.h"
    },
    {
      "type": "modify",
      "old_id": "c652fdff6d0e0461eca1f873bc36c3bb1b442d1e",
      "old_mode": 33188,
      "old_path": "libsel4test/src/testutil.c",
      "new_id": "3909655b7c27a31b8d8dea7caf1c8150be3437b5",
      "new_mode": 33188,
      "new_path": "libsel4test/src/testutil.c"
    },
    {
      "type": "modify",
      "old_id": "0d2f5998e8a037590f3a8f5dce081b90000adaa0",
      "old_mode": 33188,
      "old_path": "libsel4utils/CMakeLists.txt",
      "new_id": "9ed892f09571619722993d7febbbf9442de5118e",
      "new_mode": 33188,
      "new_path": "libsel4utils/CMakeLists.txt"
    },
    {
      "type": "modify",
      "old_id": "4c429e69d51cf09bba146e15640e18bd0103365a",
      "old_mode": 33188,
      "old_path": "libsel4utils/arch_include/riscv/sel4utils/arch/vspace.h",
      "new_id": "1bcd4dbdea1f882c1f377675ec662c8004c17623",
      "new_mode": 33188,
      "new_path": "libsel4utils/arch_include/riscv/sel4utils/arch/vspace.h"
    },
    {
      "type": "modify",
      "old_id": "68187dc1a0cda653f00be881932821e8f687523f",
      "old_mode": 33188,
      "old_path": "libsel4utils/include/sel4utils/benchmark.h",
      "new_id": "fa8b7b8c3ed9b04307be67d30a03040e195c5442",
      "new_mode": 33188,
      "new_path": "libsel4utils/include/sel4utils/benchmark.h"
    },
    {
      "type": "modify",
      "old_id": "a528d646ea745e7505cdf1cfbf6aded7aa74a94b",
      "old_mode": 33188,
      "old_path": "libsel4utils/include/sel4utils/benchmark_track.h",
      "new_id": "f1a443ad89fcfbae245115377c7a45cae8870626",
      "new_mode": 33188,
      "new_path": "libsel4utils/include/sel4utils/benchmark_track.h"
    },
    {
      "type": "modify",
      "old_id": "517a80e5c08ec94ed8257e179ce4775cf5aa191f",
      "old_mode": 33188,
      "old_path": "libsel4utils/include/sel4utils/elf.h",
      "new_id": "8f06b9c0ffc78cfff9677c2cbf6aa8100afbddbe",
      "new_mode": 33188,
      "new_path": "libsel4utils/include/sel4utils/elf.h"
    },
    {
      "type": "modify",
      "old_id": "848f97da78308497308360386678bf8e9e46a9b4",
      "old_mode": 33188,
      "old_path": "libsel4utils/include/sel4utils/iommu_dma.h",
      "new_id": "578ab89b52d81acd9f283b9774ba359b42c82537",
      "new_mode": 33188,
      "new_path": "libsel4utils/include/sel4utils/iommu_dma.h"
    },
    {
      "type": "modify",
      "old_id": "a54d542060622071bd12eadc9e77e811b1f73c86",
      "old_mode": 33188,
      "old_path": "libsel4utils/include/sel4utils/irq_server.h",
      "new_id": "2b948ea79245d68abaa861e82b601b8c808ab05e",
      "new_mode": 33188,
      "new_path": "libsel4utils/include/sel4utils/irq_server.h"
    },
    {
      "type": "modify",
      "old_id": "ce5500bcf6cc27892e9b737a11c3a3c664eb852e",
      "old_mode": 33188,
      "old_path": "libsel4utils/include/sel4utils/mapping.h",
      "new_id": "248cca733c24643efb0282f0c4fdef772294e8ce",
      "new_mode": 33188,
      "new_path": "libsel4utils/include/sel4utils/mapping.h"
    },
    {
      "type": "modify",
      "old_id": "9eaac1a7557b2fe4fcb8cf90c3f33ce349dcbd17",
      "old_mode": 33188,
      "old_path": "libsel4utils/include/sel4utils/mcs_api.h",
      "new_id": "eb57361da0e69240447bc9ba1886e0ab260df1f0",
      "new_mode": 33188,
      "new_path": "libsel4utils/include/sel4utils/mcs_api.h"
    },
    {
      "type": "modify",
      "old_id": "84286322803b68897d41d2d506cea5c55a8d7ed1",
      "old_mode": 33188,
      "old_path": "libsel4utils/include/sel4utils/page_dma.h",
      "new_id": "7249efc8a4088cdf948670f713aacc18b519ea9f",
      "new_mode": 33188,
      "new_path": "libsel4utils/include/sel4utils/page_dma.h"
    },
    {
      "type": "modify",
      "old_id": "ce1e1a403ec82f50f8441f8764bbed36114ee9b5",
      "old_mode": 33188,
      "old_path": "libsel4utils/include/sel4utils/process.h",
      "new_id": "20eca6a69a3b4b0cc4acbaa345152e461176d1b5",
      "new_mode": 33188,
      "new_path": "libsel4utils/include/sel4utils/process.h"
    },
    {
      "type": "modify",
      "old_id": "d20e019ffd2ae83a9ab4b9bbaa66d8e2ac0bb9ff",
      "old_mode": 33188,
      "old_path": "libsel4utils/include/sel4utils/process_config.h",
      "new_id": "c3c7c5a56e78833ba925210f6f872039409fdd8c",
      "new_mode": 33188,
      "new_path": "libsel4utils/include/sel4utils/process_config.h"
    },
    {
      "type": "modify",
      "old_id": "d3590a61d901e404fb410ebf43a04652c8db0447",
      "old_mode": 33188,
      "old_path": "libsel4utils/include/sel4utils/thread.h",
      "new_id": "879e96544b80ea3b3325bc92ec41d1c0cdd2673d",
      "new_mode": 33188,
      "new_path": "libsel4utils/include/sel4utils/thread.h"
    },
    {
      "type": "modify",
      "old_id": "0d19553d137a21b17fbd135137eec244d1d1fc79",
      "old_mode": 33188,
      "old_path": "libsel4utils/include/sel4utils/thread_config.h",
      "new_id": "d0167dfb4a045f1871496feb4d1890b2fa54ff54",
      "new_mode": 33188,
      "new_path": "libsel4utils/include/sel4utils/thread_config.h"
    },
    {
      "type": "modify",
      "old_id": "4bfeff91487c198a1f44648bc2ead7e6365aca28",
      "old_mode": 33188,
      "old_path": "libsel4utils/include/sel4utils/util.h",
      "new_id": "85672b20ab800878097aa1449c0a0e4a8fc67601",
      "new_mode": 33188,
      "new_path": "libsel4utils/include/sel4utils/util.h"
    },
    {
      "type": "modify",
      "old_id": "042cc095461e7b3822c16c5ede0b2743cd39ce8a",
      "old_mode": 33188,
      "old_path": "libsel4utils/include/sel4utils/vspace.h",
      "new_id": "7905143e75ed9594eb777615ee562cb7a2a7bab9",
      "new_mode": 33188,
      "new_path": "libsel4utils/include/sel4utils/vspace.h"
    },
    {
      "type": "modify",
      "old_id": "f2c766a75ab91ac5f6e37e64f2c215b76396930d",
      "old_mode": 33188,
      "old_path": "libsel4utils/include/sel4utils/vspace_internal.h",
      "new_id": "b62f127d2f712fd70227a76f40306bf5ba1e6f3b",
      "new_mode": 33188,
      "new_path": "libsel4utils/include/sel4utils/vspace_internal.h"
    },
    {
      "type": "modify",
      "old_id": "41a855f30aaa5a61571fdb05d8810bda0fcf684e",
      "old_mode": 33188,
      "old_path": "libsel4utils/sel4_arch_include/aarch32/sel4utils/sel4_arch/util.h",
      "new_id": "47160d45855309d1677d668862538122b63cf373",
      "new_mode": 33188,
      "new_path": "libsel4utils/sel4_arch_include/aarch32/sel4utils/sel4_arch/util.h"
    },
    {
      "type": "modify",
      "old_id": "80a4c85466413215393bad60f4a05c80774e63ac",
      "old_mode": 33188,
      "old_path": "libsel4utils/sel4_arch_include/aarch32/sel4utils/sel4_arch/vspace.h",
      "new_id": "a9167e6e62da9ad53019d7237767e86cb4a33ffe",
      "new_mode": 33188,
      "new_path": "libsel4utils/sel4_arch_include/aarch32/sel4utils/sel4_arch/vspace.h"
    },
    {
      "type": "modify",
      "old_id": "c297b429f0809f060b2c71b031ec6450bd3dd648",
      "old_mode": 33188,
      "old_path": "libsel4utils/sel4_arch_include/ia32/sel4utils/sel4_arch/vspace.h",
      "new_id": "1399802263c40335b013ba5cf3e9cedb0bf70d8b",
      "new_mode": 33188,
      "new_path": "libsel4utils/sel4_arch_include/ia32/sel4utils/sel4_arch/vspace.h"
    },
    {
      "type": "modify",
      "old_id": "a83e995c18b319d9711f29b49e874080847b0c5f",
      "old_mode": 33188,
      "old_path": "libsel4utils/sel4_arch_include/x86_64/sel4utils/sel4_arch/vspace.h",
      "new_id": "6136ccf13dadbe013e58df45e8282cad80f9d489",
      "new_mode": 33188,
      "new_path": "libsel4utils/sel4_arch_include/x86_64/sel4utils/sel4_arch/vspace.h"
    },
    {
      "type": "modify",
      "old_id": "ac1ff62734a88c79027e80af8723a3a586e44122",
      "old_mode": 33188,
      "old_path": "libsel4utils/src/arch/riscv/arch.c",
      "new_id": "3f34b55ebddaf9f00219ac86fbbb3713c5fe3e53",
      "new_mode": 33188,
      "new_path": "libsel4utils/src/arch/riscv/arch.c"
    },
    {
      "type": "modify",
      "old_id": "6767d161f02d9eb7ea25c051508376171c2c115a",
      "old_mode": 33188,
      "old_path": "libsel4utils/src/elf.c",
      "new_id": "47495b26cc64ecbdcfa71787ee69f07f21a90454",
      "new_mode": 33188,
      "new_path": "libsel4utils/src/elf.c"
    },
    {
      "type": "modify",
      "old_id": "8d7dd308b021df35c3618a4aa5e395327939c8e3",
      "old_mode": 33188,
      "old_path": "libsel4utils/src/iommu_dma.c",
      "new_id": "2673c7d42a8e0f4f310bb7bb6b7928eb5eef352c",
      "new_mode": 33188,
      "new_path": "libsel4utils/src/iommu_dma.c"
    },
    {
      "type": "modify",
      "old_id": "81d94d97c556eabece0bfce9d55a31d688a681de",
      "old_mode": 33188,
      "old_path": "libsel4utils/src/mapping.c",
      "new_id": "99b5059da1a972751f5fc57a6d3089e1ecdc9752",
      "new_mode": 33188,
      "new_path": "libsel4utils/src/mapping.c"
    },
    {
      "type": "modify",
      "old_id": "4bbc6285a4dfae84f0c27d19c3541160453a278d",
      "old_mode": 33188,
      "old_path": "libsel4utils/src/page_dma.c",
      "new_id": "26d12a51625631eb2d3ce94b2a093350e1bb8e80",
      "new_mode": 33188,
      "new_path": "libsel4utils/src/page_dma.c"
    },
    {
      "type": "modify",
      "old_id": "3eae6bf3a8d611864e16049bc9c08ea1e066e3ba",
      "old_mode": 33188,
      "old_path": "libsel4utils/src/process.c",
      "new_id": "acb2463213abd5b723380a7f5d87747384e885e1",
      "new_mode": 33188,
      "new_path": "libsel4utils/src/process.c"
    },
    {
      "type": "modify",
      "old_id": "27af8eca187769afe22438e734deed7044b28090",
      "old_mode": 33188,
      "old_path": "libsel4utils/src/sel4_arch/aarch32/arch.c",
      "new_id": "1135c3ba88f3ade982f0c5fd4e6fa52bd97d0019",
      "new_mode": 33188,
      "new_path": "libsel4utils/src/sel4_arch/aarch32/arch.c"
    },
    {
      "type": "modify",
      "old_id": "ff48ec5d06a5bd1ecb7c9c2fc260de04faab20ed",
      "old_mode": 33188,
      "old_path": "libsel4utils/src/sel4_arch/aarch64/arch.c",
      "new_id": "98e63c5269c0c66ae4595e098ae06925d3219565",
      "new_mode": 33188,
      "new_path": "libsel4utils/src/sel4_arch/aarch64/arch.c"
    },
    {
      "type": "modify",
      "old_id": "7cda098c9b8bf15bed8a77fb82412fa1ff479898",
      "old_mode": 33188,
      "old_path": "libsel4utils/src/sel4_arch/ia32/arch.c",
      "new_id": "f08620687d014e11307fa2f5a164c3dd0f86147c",
      "new_mode": 33188,
      "new_path": "libsel4utils/src/sel4_arch/ia32/arch.c"
    },
    {
      "type": "modify",
      "old_id": "ceb89ddc4da1fe6daa1bb48dcde6464760876639",
      "old_mode": 33188,
      "old_path": "libsel4utils/src/sel4_arch/x86_64/arch.c",
      "new_id": "7436ddaf106d8a07fbb76ec19267b6cd2e680a6f",
      "new_mode": 33188,
      "new_path": "libsel4utils/src/sel4_arch/x86_64/arch.c"
    },
    {
      "type": "modify",
      "old_id": "d6d1a69e7a183dbb7ced8130de927500e2d3c0a8",
      "old_mode": 33188,
      "old_path": "libsel4utils/src/thread.c",
      "new_id": "14a91c6ef58862007f1089a91ca1e38de1357b63",
      "new_mode": 33188,
      "new_path": "libsel4utils/src/thread.c"
    },
    {
      "type": "modify",
      "old_id": "385ce6bd70fb45c0532d973dfe08edaee8efa5fd",
      "old_mode": 33188,
      "old_path": "libsel4utils/src/vspace/bootstrap.c",
      "new_id": "7220c604b157d1cb073581ab9b232b7ba94b9b5b",
      "new_mode": 33188,
      "new_path": "libsel4utils/src/vspace/bootstrap.c"
    },
    {
      "type": "modify",
      "old_id": "ac27a0bc0578b65542979a3be6c812dbcac48232",
      "old_mode": 33188,
      "old_path": "libsel4utils/src/vspace/vspace.c",
      "new_id": "04d0550ec4b54801fc8969c25f4f12aba5556b02",
      "new_mode": 33188,
      "new_path": "libsel4utils/src/vspace/vspace.c"
    },
    {
      "type": "modify",
      "old_id": "2ae880d690c28143018bbb268fb5ca2cb1862c8a",
      "old_mode": 33188,
      "old_path": "libsel4vka/CMakeLists.txt",
      "new_id": "afe0da189a990df853402b8a8d8c327f38c7a3a7",
      "new_mode": 33188,
      "new_path": "libsel4vka/CMakeLists.txt"
    },
    {
      "type": "modify",
      "old_id": "8e943598a7d90cba9edad56dcddab20ed30e6e13",
      "old_mode": 33188,
      "old_path": "libsel4vka/arch_include/arm/vka/arch/kobject_t.h",
      "new_id": "eab40163c110b346d78b7a7e27b6a6169cee5624",
      "new_mode": 33188,
      "new_path": "libsel4vka/arch_include/arm/vka/arch/kobject_t.h"
    },
    {
      "type": "modify",
      "old_id": "f029d9010b549b78d8a8d3e1dda045604d719f14",
      "old_mode": 33188,
      "old_path": "libsel4vka/arch_include/riscv/vka/arch/kobject_t.h",
      "new_id": "046db5f36f9a9162094caa866f547b5e08fe3bda",
      "new_mode": 33188,
      "new_path": "libsel4vka/arch_include/riscv/vka/arch/kobject_t.h"
    },
    {
      "type": "modify",
      "old_id": "0579871af7a6b9cd0cbcea2266f2b11576c3a014",
      "old_mode": 33188,
      "old_path": "libsel4vka/arch_include/x86/vka/arch/kobject_t.h",
      "new_id": "8497806ecb30287c2431d8b8e9cae968ab1637fe",
      "new_mode": 33188,
      "new_path": "libsel4vka/arch_include/x86/vka/arch/kobject_t.h"
    },
    {
      "type": "modify",
      "old_id": "bdc4f0043d081d08a1d7f479826c234e2f32c032",
      "old_mode": 33188,
      "old_path": "libsel4vka/include/vka/capops.h",
      "new_id": "b04c5359df6198034b43564c796b0d08a10ed77b",
      "new_mode": 33188,
      "new_path": "libsel4vka/include/vka/capops.h"
    },
    {
      "type": "modify",
      "old_id": "334f6bbf899935e7849888e0da2293ffe0b51ed9",
      "old_mode": 33188,
      "old_path": "libsel4vka/include/vka/ipcbuffer.h",
      "new_id": "95684ad6fd9cda2f9851c8d469a52bb984db3c78",
      "new_mode": 33188,
      "new_path": "libsel4vka/include/vka/ipcbuffer.h"
    },
    {
      "type": "modify",
      "old_id": "e01d2b72028d9381c9508b439f97b482a8afa640",
      "old_mode": 33188,
      "old_path": "libsel4vka/include/vka/kobject_t.h",
      "new_id": "6b6f9c58dcd4e1edf7fd51d06b3a5a43efaa3e82",
      "new_mode": 33188,
      "new_path": "libsel4vka/include/vka/kobject_t.h"
    },
    {
      "type": "modify",
      "old_id": "7cc07570d77a2e3feeb5265e9a3547c8383e2309",
      "old_mode": 33188,
      "old_path": "libsel4vka/include/vka/vka.h",
      "new_id": "48c767a139bf0563a7e05a4c82e5b96a61c050dd",
      "new_mode": 33188,
      "new_path": "libsel4vka/include/vka/vka.h"
    },
    {
      "type": "modify",
      "old_id": "d9530f20117ce9be6611101c3a0ae49f86b45552",
      "old_mode": 33188,
      "old_path": "libsel4vka/sel4_arch_include/aarch32/vka/sel4_arch/kobject_t.h",
      "new_id": "a2ec217e82cb89c93b6d1f7a0cf0adb607efecbd",
      "new_mode": 33188,
      "new_path": "libsel4vka/sel4_arch_include/aarch32/vka/sel4_arch/kobject_t.h"
    },
    {
      "type": "modify",
      "old_id": "77f1a3169966f1855524151d6f22596dfac753c8",
      "old_mode": 33188,
      "old_path": "libsel4vka/sel4_arch_include/aarch32/vka/sel4_arch/object.h",
      "new_id": "53c784dcee7f05577363b283e2cc109ca555f6ca",
      "new_mode": 33188,
      "new_path": "libsel4vka/sel4_arch_include/aarch32/vka/sel4_arch/object.h"
    },
    {
      "type": "modify",
      "old_id": "3e9fe6bccb0ddb93cd72130594725587219936f4",
      "old_mode": 33188,
      "old_path": "libsel4vka/sel4_arch_include/aarch64/vka/sel4_arch/kobject_t.h",
      "new_id": "0421af2de1b5692c6518a25d3a39814df807c93d",
      "new_mode": 33188,
      "new_path": "libsel4vka/sel4_arch_include/aarch64/vka/sel4_arch/kobject_t.h"
    },
    {
      "type": "modify",
      "old_id": "cab2d6b8d3a144e9d1f5f711b0487517c9ae6980",
      "old_mode": 33188,
      "old_path": "libsel4vka/sel4_arch_include/ia32/vka/sel4_arch/kobject_t.h",
      "new_id": "6f888b6806aaa998ca12470ba7bab29b5e625b4c",
      "new_mode": 33188,
      "new_path": "libsel4vka/sel4_arch_include/ia32/vka/sel4_arch/kobject_t.h"
    },
    {
      "type": "modify",
      "old_id": "799157c563e8f49d56255703f71f2f9f4e58b415",
      "old_mode": 33188,
      "old_path": "libsel4vka/sel4_arch_include/x86_64/vka/sel4_arch/kobject_t.h",
      "new_id": "55a908cfc9bf7dd6a444b5e10b4418637364b1f1",
      "new_mode": 33188,
      "new_path": "libsel4vka/sel4_arch_include/x86_64/vka/sel4_arch/kobject_t.h"
    },
    {
      "type": "modify",
      "old_id": "392bd5a7259de06a40def546c124a3a24e0d345c",
      "old_mode": 33188,
      "old_path": "libsel4vka/src/debug-vka.c",
      "new_id": "6503567eea791db33caf901e0201822fc2db6127",
      "new_mode": 33188,
      "new_path": "libsel4vka/src/debug-vka.c"
    },
    {
      "type": "modify",
      "old_id": "6f6cabe9ef063c96262357e6a2ea64a8a9432c9f",
      "old_mode": 33188,
      "old_path": "libsel4vmm/CMakeLists.txt",
      "new_id": "0e8bf3326144763a8ea44e406813fedce326c446",
      "new_mode": 33188,
      "new_path": "libsel4vmm/CMakeLists.txt"
    },
    {
      "type": "modify",
      "old_id": "8159160c95c0cc267ea181862a36a8da02d78e75",
      "old_mode": 33188,
      "old_path": "libsel4vmm/include/vmm/debug.h",
      "new_id": "4dcf6ff84f3d72797c5513fce05e8173f5d966f1",
      "new_mode": 33188,
      "new_path": "libsel4vmm/include/vmm/debug.h"
    },
    {
      "type": "modify",
      "old_id": "e2649486cf1f1565ec60c68bfe7fb9bce55ff118",
      "old_mode": 33188,
      "old_path": "libsel4vmm/include/vmm/platform/guest_vspace.h",
      "new_id": "11f6e7249707626ace3e55bc4d1fc4441559d394",
      "new_mode": 33188,
      "new_path": "libsel4vmm/include/vmm/platform/guest_vspace.h"
    },
    {
      "type": "modify",
      "old_id": "a10f6516486c9798cf473c11b38946a11f6d25f8",
      "old_mode": 33188,
      "old_path": "libsel4vmm/src/driver/virtio_emul.c",
      "new_id": "44eae043aad10af4208cb0648df6a8d19e839750",
      "new_mode": 33188,
      "new_path": "libsel4vmm/src/driver/virtio_emul.c"
    },
    {
      "type": "modify",
      "old_id": "1b92d1fdaaf0f12e4b0b5d5f1adaa6472fee7b62",
      "old_mode": 33188,
      "old_path": "libsel4vmm/src/platform/boot.c",
      "new_id": "9b01ab3fa7e7fb486454294f5fb858fa3a71e414",
      "new_mode": 33188,
      "new_path": "libsel4vmm/src/platform/boot.c"
    },
    {
      "type": "modify",
      "old_id": "7429c61997fc238ffa239c5c9bcf3443a4f29137",
      "old_mode": 33188,
      "old_path": "libsel4vmm/src/platform/boot_guest.c",
      "new_id": "857de19047100cb76f481970bddca6cf555992ac",
      "new_mode": 33188,
      "new_path": "libsel4vmm/src/platform/boot_guest.c"
    },
    {
      "type": "modify",
      "old_id": "7cb331bdd67b4aecb23ba0514a03d7082d32c735",
      "old_mode": 33188,
      "old_path": "libsel4vmm/src/platform/guest_memory.c",
      "new_id": "eb50ab5750de755d5f87ba8b393c1849c961b7c4",
      "new_mode": 33188,
      "new_path": "libsel4vmm/src/platform/guest_memory.c"
    },
    {
      "type": "modify",
      "old_id": "cdcc962312007e3f99e7ea528dc44a595b4b1a02",
      "old_mode": 33188,
      "old_path": "libsel4vmm/src/platform/guest_vspace.c",
      "new_id": "74c8845f32393df50724c815c0df158d75deaad7",
      "new_mode": 33188,
      "new_path": "libsel4vmm/src/platform/guest_vspace.c"
    },
    {
      "type": "modify",
      "old_id": "3bb54f272bcde5764d1d5b7111b972ee35968aaa",
      "old_mode": 33188,
      "old_path": "libsel4vmm/src/vmm/vmx_timer.c",
      "new_id": "0edef164bdf54bd706744b7fe01cd6d68d9dce3b",
      "new_mode": 33188,
      "new_path": "libsel4vmm/src/vmm/vmx_timer.c"
    },
    {
      "type": "modify",
      "old_id": "f497795a2eca8c660a06ae559b2b3f90cec27ff5",
      "old_mode": 33188,
      "old_path": "libsel4vspace/CMakeLists.txt",
      "new_id": "6d90d5bb4b5360f14c4c2a9cc4da3bb299f02a40",
      "new_mode": 33188,
      "new_path": "libsel4vspace/CMakeLists.txt"
    },
    {
      "type": "modify",
      "old_id": "4ff8e64d6de7f79451bc236948637a8aaa81980e",
      "old_mode": 33188,
      "old_path": "libsel4vspace/include/vspace/vspace.h",
      "new_id": "e1396a6d47f4c798bba0ddb7ae6ba024eb7a06a7",
      "new_mode": 33188,
      "new_path": "libsel4vspace/include/vspace/vspace.h"
    }
  ]
}