)]}'
{
  "log": [
    {
      "commit": "48db0a6fd0b8e12ecd55dfec10183b169c8a4b43",
      "tree": "0b07852c2124a46a9bbd65293e59c9f2cafbb723",
      "parents": [
        "5ec392755dad0644817a72d1d9a379171012b89d"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sat Jul 15 18:36:52 2023"
      },
      "committer": {
        "name": "Chromeos LUCI",
        "email": "chromeos-scoped@luci-project-accounts.iam.gserviceaccount.com",
        "time": "Tue Jul 18 23:01:44 2023"
      },
      "message": "Avoid warning \u0027\"Pos64\" is already use-visible\u0027\n\n(cherry picked from commit 584629b9f4771b7618951cec57df2ca3af9c6981)\n\nOriginal-Change-Id: If18a630d8e8a4e2439582777ef1bb969b7b88c6f\nOriginal-Signed-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nOriginal-Reviewed-on: https://review.coreboot.org/c/libhwbase/+/76490\nOriginal-Reviewed-by: Elyes Haouas \u003cehaouas@noos.fr\u003e\nGitOrigin-RevId: 584629b9f4771b7618951cec57df2ca3af9c6981\nChange-Id: I5d7cfa62a25f661756fcdb2b116eae457efa5df5\nReviewed-on: https://chromium-review.googlesource.com/c/chromiumos/third_party/coreboot/libhwbase/+/4688390\nTested-by: ChromeOS Prod (Robot) \u003cchromeos-ci-prod@chromeos-bot.iam.gserviceaccount.com\u003e\nReviewed-by: Nick Vaccaro \u003cnvaccaro@google.com\u003e\nCommit-Queue: Nick Vaccaro \u003cnvaccaro@google.com\u003e\n"
    },
    {
      "commit": "5ec392755dad0644817a72d1d9a379171012b89d",
      "tree": "7fde8d90acf565a4612bd2520116163ccb52dc1f",
      "parents": [
        "f63d6d91e3f80de07c7e0a95df27e0fe19b30ac0"
      ],
      "author": {
        "name": "Jeremy Compostella",
        "email": "jeremy.compostella@intel.com",
        "time": "Tue Nov 22 01:07:06 2022"
      },
      "committer": {
        "name": "CopyBot",
        "email": "copybot.service@gmail.com",
        "time": "Tue Dec 27 11:30:22 2022"
      },
      "message": "hw-debug: Place global variables in the .bss section\n\nIt places the Middle_Of_Line and Register_Write_Delay_Nanoseconds\nvariables in the .bss section. As a result they are set at runtime to\ntheir desired default value which is respectively False and 0.\n\nIt helps to integrate the libhwbase library debug package in\nenvironments where global initialized variables are not\nsupported such as coreboot romstage.\n\nThis change does not impact GNATprove as this package has SPARK_Mode\ndisabled.\n\nBUG\u003db:252792591\nBRANCH\u003dfirmware-brya-14505.B\nTEST\u003dWorking as expected on skolas\n\n(cherry picked from commit 95ad8c53c6e208d769d190787b9987dbeacbca42)\n\nOriginal-Signed-off-by: Jeremy Compostella \u003cjeremy.compostella@intel.com\u003e\nOriginal-Change-Id: Ib23699f3f3446219c34c60ccd9987346e17769f2\nOriginal-Reviewed-on: https://review.coreboot.org/c/libhwbase/+/69854\nOriginal-Tested-by: Angel Pons \u003cth3fanbus@gmail.com\u003e\nOriginal-Reviewed-by: Angel Pons \u003cth3fanbus@gmail.com\u003e\nGitOrigin-RevId: 95ad8c53c6e208d769d190787b9987dbeacbca42\nChange-Id: Iae0027f38290fb30eaccc69a7b88b6b9cdb16ee7\n"
    },
    {
      "commit": "f63d6d91e3f80de07c7e0a95df27e0fe19b30ac0",
      "tree": "125b812b6df9f99703e3a7bd1e837ca3913af7df",
      "parents": [
        "9946827bbae199477cfcb68dcc5ed257aaa9ba7d"
      ],
      "author": {
        "name": "Elyes Haouas",
        "email": "ehaouas@noos.fr",
        "time": "Mon Sep 26 10:30:37 2022"
      },
      "committer": {
        "name": "CopyBot",
        "email": "copybot.service@gmail.com",
        "time": "Sun Oct 16 10:30:29 2022"
      },
      "message": "Fix \"unnecessary with of ancestor [-gnatwr]\"\n\n(cherry picked from commit 8be5a82b85ceb3ee8a1c4fbf36c75a4bfbda8900)\n\nOriginal-Change-Id: I3a8a161a5fd6f8f261d101f1752b452d3706a2df\nOriginal-Signed-off-by: Elyes Haouas \u003cehaouas@noos.fr\u003e\nOriginal-Reviewed-on: https://review.coreboot.org/c/libhwbase/+/67832\nOriginal-Tested-by: Nico Huber \u003cnico.h@gmx.de\u003e\nOriginal-Reviewed-by: Nico Huber \u003cnico.h@gmx.de\u003e\nOriginal-Reviewed-by: Angel Pons \u003cth3fanbus@gmail.com\u003e\nGitOrigin-RevId: 8be5a82b85ceb3ee8a1c4fbf36c75a4bfbda8900\nChange-Id: I8a604716d3097822ad2b9cf320ae4bf84c7eb651\n"
    },
    {
      "commit": "9946827bbae199477cfcb68dcc5ed257aaa9ba7d",
      "tree": "112f8a2dbab25213993651d324ec1dbe29b6c3a7",
      "parents": [
        "fc2102f560f25e0f2e5be91ec36646dcb69e6e1b"
      ],
      "author": {
        "name": "Tim Wawrzynczak",
        "email": "twawrzynczak@chromium.org",
        "time": "Mon Feb 28 15:34:37 2022"
      },
      "committer": {
        "name": "Tim Wawrzynczak",
        "email": "twawrzynczak@chromium.org",
        "time": "Mon Feb 28 16:04:21 2022"
      },
      "message": "Add OWNERS and DIR_METADATA\n\nBUG\u003db:221313114\nTEST\u003dnone\n\nChange-Id: I22bd67629148ddf5abbb619fa6194073ef673f40\n"
    },
    {
      "commit": "fc2102f560f25e0f2e5be91ec36646dcb69e6e1b",
      "tree": "0e4428ad10de82b614fbe399f61fd1b6be5c6350",
      "parents": [
        "a3edc6ef32d09c566b7ea3555bc753458ec63039"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.huber@secunet.com",
        "time": "Thu Jun 10 14:36:31 2021"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Jun 13 20:10:35 2021"
      },
      "message": "dynamic_mmio: Use volatile access type\n\nGCC 11 complains about an incompatible access type, e.g.\n\nhw-pci-dev.adb:28:04: instantiation error at hw-mmio_range.adb:32\nhw-pci-dev.adb:28:04: instantiation error at hw-pci-mmconf.adb:36\nhw-pci-dev.adb:28:04: designated type and access type are not compatible with respect to volatility due to Async_Readers, Async_Writers, Effective_Reads, Effective_Writes\n\nDeclaring the access type volatile works around the issue, but we\nhave to also treat `Range_A` as external state now. Declaring it\nas `Base_Address` state was an odd hack anyway.\n\nTo avoid further hassle, we also disable `SPARK_Mode`. Treating\nthis as SPARK code was never intended, and we use a shadow imple-\nmentation (`proof/hw-mmio_range.adb`) for proofs anyway.\n\nTEST\u003dDoesn\u0027t affect coreboot binaries.\n\nChange-Id: I9ddc8d1dafdcb41810e4c8bf29164ef7130def3f\nSigned-off-by: Nico Huber \u003cnico.huber@secunet.com\u003e\nReviewed-on: https://review.coreboot.org/c/libhwbase/+/55390\nReviewed-by: Jacob Garber \u003cjgarber1@ualberta.ca\u003e\nReviewed-by: Angel Pons \u003cth3fanbus@gmail.com\u003e\nReviewed-by: Patrick Georgi \u003cpgeorgi@google.com\u003e\nTested-by: Patrick Georgi \u003cpgeorgi@google.com\u003e\n"
    },
    {
      "commit": "a3edc6ef32d09c566b7ea3555bc753458ec63039",
      "tree": "77b4b0e1b6b3907e929d0491d5ea3b97c70c1f39",
      "parents": [
        "d822df521984739d795e1d954ea6a04f303b08d3"
      ],
      "author": {
        "name": "Angel Pons",
        "email": "th3fanbus@gmail.com",
        "time": "Fri Jul 17 18:19:51 2020"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Jul 19 17:36:27 2020"
      },
      "message": "Makefile: Add `-gnatw_R` to suppress spurious warning\n\nLooks like there\u0027s a new warning option that complains when the order of\ncomponent declarations, component clauses, and bit-level layout do not\nall agree. However, we also enable `warnings are errors`. Plus, we use\nmismatched component representation clauses on purpose in libgfxinit\u0027s\nepilepsy-inducing gfxtest program to have RGB ordering on hardware that\nworks with BGR ordering. Hardware is cursed, so silence this warning.\n\nChange-Id: I1565e3e834cd47b7f53fd2202b38fdf01a0b7619\nSigned-off-by: Angel Pons \u003cth3fanbus@gmail.com\u003e\nReviewed-on: https://review.coreboot.org/c/libhwbase/+/43556\nTested-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-by: Nico Huber \u003cnico.h@gmx.de\u003e\n"
    },
    {
      "commit": "d822df521984739d795e1d954ea6a04f303b08d3",
      "tree": "958bb1c08f762dd75bc0c9302c2fdd685119ead3",
      "parents": [
        "4e22910f7891d421fc0c2b65ebb707b767cfeabb"
      ],
      "author": {
        "name": "Angel Pons",
        "email": "th3fanbus@gmail.com",
        "time": "Fri Jul 17 18:41:16 2020"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Jul 19 17:35:46 2020"
      },
      "message": "Makefile: Delay expansion of `$(ADAFLAGS)`\n\nThis allows users of this library to extend `ADAFLAGS` from within their\nMakefile. The added flexibility makes this a very well spent dollar :-)\n\nChange-Id: I873d3eea48549e6945c4229b50c2318a3711bc4d\nSigned-off-by: Angel Pons \u003cth3fanbus@gmail.com\u003e\nReviewed-on: https://review.coreboot.org/c/libhwbase/+/43557\nTested-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-by: Nico Huber \u003cnico.h@gmx.de\u003e\n"
    },
    {
      "commit": "4e22910f7891d421fc0c2b65ebb707b767cfeabb",
      "tree": "f78ac3f46c806433d8a532e108457915ea69f1bb",
      "parents": [
        "9f87a10c6ef5a9f78744a82ef44dffd5839b9125"
      ],
      "author": {
        "name": "Angel Pons",
        "email": "th3fanbus@gmail.com",
        "time": "Fri Feb 28 21:19:39 2020"
      },
      "committer": {
        "name": "Patrick Georgi",
        "email": "pgeorgi@google.com",
        "time": "Fri Mar 06 17:06:30 2020"
      },
      "message": "Makefile: Adapt $(space) definition\n\nGNU Make 4.3 is more picky about the $(space) definition. It seems that\nthe variable ends up being empty.\n\nChange-Id: If07db29fc63e8a45e9b0869df894ce3420fa9b95\nSigned-off-by: Angel Pons \u003cth3fanbus@gmail.com\u003e\nReviewed-on: https://review.coreboot.org/c/libhwbase/+/39163\nTested-by: Patrick Georgi \u003cpgeorgi@google.com\u003e\nReviewed-by: Patrick Georgi \u003cpgeorgi@google.com\u003e\nReviewed-by: HAOUAS Elyes \u003cehaouas@noos.fr\u003e\nReviewed-by: Nico Huber \u003cnico.h@gmx.de\u003e\n"
    },
    {
      "commit": "9f87a10c6ef5a9f78744a82ef44dffd5839b9125",
      "tree": "f411c3bfe13d8ec7bb465ee48cf4e013e9f501e6",
      "parents": [
        "69e90862cec692a886a1c6de751d380f7386bd44"
      ],
      "author": {
        "name": "Adrian-Ken Rueegsegger",
        "email": "ken@codelabs.ch",
        "time": "Wed Oct 18 12:53:35 2017"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Fri Feb 21 08:55:19 2020"
      },
      "message": "time: Add T_First constant\n\nThe constant can be used to initialize variables of type HW.Time.T.\n\nChange-Id: I65246d6776d464bfa8648075b48e7de61cd82902\nSigned-off-by: Adrian-Ken Rueegsegger \u003cken@codelabs.ch\u003e\nReviewed-on: https://review.coreboot.org/c/libhwbase/+/38983\nTested-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-by: Nico Huber \u003cnico.h@gmx.de\u003e\n"
    },
    {
      "commit": "69e90862cec692a886a1c6de751d380f7386bd44",
      "tree": "309d10b3af35b3f4e5c37cf4d9b3adf9e0bb56ef",
      "parents": [
        "bd0ed91cb985a697033edd9fd62d322aa017e791"
      ],
      "author": {
        "name": "Adrian-Ken Rueegsegger",
        "email": "ken@codelabs.ch",
        "time": "Tue Jan 21 12:53:59 2020"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Fri Feb 21 08:55:15 2020"
      },
      "message": "mutime: Make Sinfo an imported constant\n\nThe subject info data structure is static and is not changed during\nruntime. Make Sinfo an imported constant and adjust refinement of\nabstract timer state and global contract of Hz function accordingly.\nThey are no longer volatile.\n\nChange-Id: I5729bc7f2d77c5c51a6cab2edc7953e95c9e4d29\nSigned-off-by: Adrian-Ken Rueegsegger \u003cken@codelabs.ch\u003e\nReviewed-on: https://review.coreboot.org/c/libhwbase/+/38982\nTested-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-by: Nico Huber \u003cnico.h@gmx.de\u003e\n"
    },
    {
      "commit": "bd0ed91cb985a697033edd9fd62d322aa017e791",
      "tree": "0fcfa9d5ea616d3b6652cc0016e93ddd93282e50",
      "parents": [
        "455ed64bff3cc223bf0a2aff117d3b47a523ba0a"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Jun 17 15:58:57 2018"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Mon May 06 21:45:26 2019"
      },
      "message": "Makefile: Revise support for generated sources\n\nHandle generated source files more independently from normal source\nfiles. This allows mixing of generated specs with existing source\nbodies.\n\nAs with the source file list, we filter the list of generated sources,\n`$(name)-gens`: All spec (.ads) files that have a respective body file\n(.adb), are moved into `$(name)-extra-gens`. This way, we can still\nadd these files as dependencies to all pre-existing source files.\n\nChange-Id: I5479c436f39088ae9d0ebddf9a97446be0f191f3\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.coreboot.org/c/libhwbase/+/27139\nReviewed-by: Angel Pons \u003cth3fanbus@gmail.com\u003e\nReviewed-by: Stefan Reinauer \u003cstefan.reinauer@coreboot.org\u003e\nReviewed-by: Patrick Georgi \u003cpgeorgi@google.com\u003e\n"
    },
    {
      "commit": "455ed64bff3cc223bf0a2aff117d3b47a523ba0a",
      "tree": "2b1932f1ac194c4b963c772a11ded6836fa7a8f5",
      "parents": [
        "6582141149192b4b7227f66870f3a5df7ac43bc6"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.huber@secunet.com",
        "time": "Fri May 18 13:21:23 2018"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Mon May 06 21:34:18 2019"
      },
      "message": "direct pci, debug: Fix minor style issues\n\nChange-Id: I8adbf75babc233dff79e5c8921d1f24692a939ab\nSigned-off-by: Nico Huber \u003cnico.huber@secunet.com\u003e\nReviewed-on: https://review.coreboot.org/c/libhwbase/+/26840\nReviewed-by: Patrick Georgi \u003cpgeorgi@google.com\u003e\nTested-by: Nico Huber \u003cnico.h@gmx.de\u003e\n"
    },
    {
      "commit": "6582141149192b4b7227f66870f3a5df7ac43bc6",
      "tree": "027bc9064aa1877e25fd87bc53f8cb5079ba6550",
      "parents": [
        "c38015d052dd686c96504cbf5dd4c3d61fc030a5"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.huber@secunet.com",
        "time": "Mon Jun 04 21:13:21 2018"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Mon May 06 16:13:05 2019"
      },
      "message": "Makefile.proof: Add --no-inlining to SPARKFLAGS\n\nWith `--no-inlining`, proof is about 10% faster for libgfxinit.\n\nChange-Id: Ia6055da326901c1c25b9d0c757767891284bc515\nSigned-off-by: Nico Huber \u003cnico.huber@secunet.com\u003e\nReviewed-on: https://review.coreboot.org/c/libhwbase/+/26850\nTested-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-by: Reto Buerki \u003creet@codelabs.ch\u003e\n"
    },
    {
      "commit": "c38015d052dd686c96504cbf5dd4c3d61fc030a5",
      "tree": "becef074bf0c3f2d0ffe93883966203f7a97bfcc",
      "parents": [
        "a6a4909d25062393147fcb773e8dd396aea26d0f"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.huber@secunet.com",
        "time": "Mon Jun 04 11:13:36 2018"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Mon May 06 16:12:50 2019"
      },
      "message": "mutime: Move to common/\n\nIt\u0027s valid SPARK now.\n\nChange-Id: I03bc3fa7d9bea79680888c13679cfd871e772000\nSigned-off-by: Nico Huber \u003cnico.huber@secunet.com\u003e\nReviewed-on: https://review.coreboot.org/c/libhwbase/+/26839\nTested-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-by: Reto Buerki \u003creet@codelabs.ch\u003e\n"
    },
    {
      "commit": "a6a4909d25062393147fcb773e8dd396aea26d0f",
      "tree": "90b266216593e274bc9cb0368a90dee2187e40af",
      "parents": [
        "a60324f0529adc568c2183f6a3a49ae44db54af5"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.huber@secunet.com",
        "time": "Fri May 18 13:04:12 2018"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Mon May 06 16:12:41 2019"
      },
      "message": "time: Revise state abstraction\n\nMake abstract state `State` of HW.Time.Timer, that\u0027s used to derive the\nHz value for instance, External. This helps to fix flow issues in the\nmutime implementation and also matches real hardware better: The clock\nrate may be derived from the hardware state.\n\nHW.Time.Timer.Hz had to be made a volatile function, therefore.\n\nChange-Id: I35af2d0db1acbf9652ea00763aa288545746bb79\nSigned-off-by: Nico Huber \u003cnico.huber@secunet.com\u003e\nReviewed-on: https://review.coreboot.org/c/libhwbase/+/26838\nTested-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-by: Reto Buerki \u003creet@codelabs.ch\u003e\n"
    },
    {
      "commit": "a60324f0529adc568c2183f6a3a49ae44db54af5",
      "tree": "781c7d6e38a57cb92f474365e6f6dfdf453051c7",
      "parents": [
        "637f2a4f21ead8ccc45d5256834eb27ce72088db"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.huber@secunet.com",
        "time": "Mon Jun 04 10:56:25 2018"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Mon May 06 16:12:34 2019"
      },
      "message": "Makefile.proof: Remove cvc4 from prover list\n\nSince we have z3, it was never of much use.\n\nChange-Id: Ib0458bfe53fd999c60f8d1b7cf8709e6195d0a42\nSigned-off-by: Nico Huber \u003cnico.huber@secunet.com\u003e\nReviewed-on: https://review.coreboot.org/c/libhwbase/+/26837\nTested-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-by: Reto Buerki \u003creet@codelabs.ch\u003e\n"
    },
    {
      "commit": "637f2a4f21ead8ccc45d5256834eb27ce72088db",
      "tree": "3fe007f2803e04aac47d68bd49fa6c099987d370",
      "parents": [
        "66859712e4817288591908d737dbf41ddea31c3a"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Tue May 15 21:40:30 2018"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sat May 19 20:37:51 2018"
      },
      "message": "pci: Make HW.PCI.MMConf a public generic\n\nGCC 8 wants us to tie the hidden, private state of HW.PCI.MMConf to a\nsurrounding state. Though, as it\u0027s impossible to do that before the\npackage instantiation, we can only comply by making it public.\n\nChange-Id: I41c3d1324a7d9acde5be2c246011f976361e8f2b\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.coreboot.org/26304\nTested-by: Patrick Georgi \u003cpgeorgi@google.com\u003e\nReviewed-by: Patrick Georgi \u003cpgeorgi@google.com\u003e\n"
    },
    {
      "commit": "66859712e4817288591908d737dbf41ddea31c3a",
      "tree": "709ea4f7b91aa2027071f7c611d577cc2df34aa9",
      "parents": [
        "1404fbbee41319e727915e745f09a05ef6f313f4"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Fri Aug 25 18:04:30 2017"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Wed Aug 30 15:14:20 2017"
      },
      "message": "linux pci: Add dummy PCI access for shared contracts\n\nOther implementations may update the PCI_State in Resource_Size() and\nMap(). To share the contract with those implementations, we have to\nsimulate such accesses.\n\nChange-Id: If994db22d91eb3707e555871d854c3a25a13678b\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.coreboot.org/21206\nReviewed-by: Adrian-Ken Rueegsegger \u003cken@codelabs.ch\u003e\nReviewed-by: Arthur Heymans \u003carthur@aheymans.xyz\u003e\n"
    },
    {
      "commit": "1404fbbee41319e727915e745f09a05ef6f313f4",
      "tree": "7ce7a2f1fcb0165845c4ed2b68ca5bd54bb1c838",
      "parents": [
        "e05bf875c1e62f7ab044f6eee295183581175477"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Mon Jul 17 21:44:21 2017"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Tue Aug 29 09:46:36 2017"
      },
      "message": "Makefile.proof: Reorder theorem provers\n\nPrefer Z3 over CVC4, the latter seems to not do anything for the current\ncode and just wastes CPU cycles.\n\nChange-Id: Ia5e1341e881c5f887452486a318e8e72513f28fb\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.coreboot.org/20627\nReviewed-by: Paul Menzel \u003cpaulepanter@users.sourceforge.net\u003e\nReviewed-by: Adrian-Ken Rueegsegger \u003cken@codelabs.ch\u003e\n"
    },
    {
      "commit": "e05bf875c1e62f7ab044f6eee295183581175477",
      "tree": "52c2676666ab3fef50bf2a60e1194d6826b601e4",
      "parents": [
        "ff3240b2534b1c8509b772436d8c878092a0ec44"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Fri Aug 25 18:02:19 2017"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Mon Aug 28 20:17:18 2017"
      },
      "message": "direct pci: Always initialize Address_State\n\nLet Initialize() always initialize the Address_State. This is not only\nthe expected behaviour but also necessary to share the contract with\nother implementations.\n\nChange-Id: I0454dfd6c36f7d4298edeec5b84d929e3160eb7b\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.coreboot.org/21205\nReviewed-by: Adrian-Ken Rueegsegger \u003cken@codelabs.ch\u003e\n"
    },
    {
      "commit": "ff3240b2534b1c8509b772436d8c878092a0ec44",
      "tree": "6f04c143df7e004687551413d04edaec5e3135f3",
      "parents": [
        "ae9b85522aca8ef39622933e36c5c6ae144df140"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Jul 09 14:23:04 2017"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Mon Aug 21 10:52:56 2017"
      },
      "message": "pci: Add Linux sysfs implementation of HW.PCI.Dev\n\nIn Linux\u0027 sysfs, each PCI device has a directory like:\n\n    /sys/devices/pci0000:00/0000:00:02.0/\n\nTherein, the file `config` represents the PCI device\u0027s configuration\nspace. Alas, it\u0027s not mappable so we work on a read only copy. Should\nwe ever need dynamic read/write access, we\u0027d have to implement it\nusing read()/write().\n\nIO and MMIO resources are represented by mappable files, `resource[0-5]`\nfor uncacheable accesses and `resource[0-5]_wc` for write-combining\naccess.\n\nChange-Id: I1358e9336edaf75e8eff50808a8169b997817d7e\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.coreboot.org/20554\nReviewed-by: Arthur Heymans \u003carthur@aheymans.xyz\u003e\n"
    },
    {
      "commit": "ae9b85522aca8ef39622933e36c5c6ae144df140",
      "tree": "3083445a34b5e0d8d886238e6bfb58301e18f8f8",
      "parents": [
        "36934fbde04193046309dca1d8d3d27132d23882"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Jul 09 13:25:41 2017"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Mon Aug 21 10:52:50 2017"
      },
      "message": "pci: Add bare metal HW.PCI.Dev implementation\n\nAdd a HW.PCI.Dev implementation that assumes direct hardware access,\ni.e. its Map() implementations just returns the physical address of\na resource.\n\nChange-Id: I055a05a17e207e8b43aa02d1b39023b027f94f6c\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.coreboot.org/20551\nReviewed-by: Arthur Heymans \u003carthur@aheymans.xyz\u003e\n"
    },
    {
      "commit": "36934fbde04193046309dca1d8d3d27132d23882",
      "tree": "e0a05427f6080b3027587458292aff09a633b152",
      "parents": [
        "4a1048266656f98415cbc294303a149803fd2717"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Wed Jul 12 22:08:21 2017"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Aug 20 21:16:20 2017"
      },
      "message": "Add `debug.adc` and option DEBUG\n\nThe GNAT configuration file `debug.adc` has Assertion_Policy Debug\nenabled to compile `pragma Debug` code. If `DEBUG` is set to `1`\nduring build, `debug.adc` is used instead of the default `gnat.adc`.\n\nChange-Id: If5b52f5251cae7deed7aca2765f9b5db1c148fb7\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.coreboot.org/20558\nReviewed-by: Arthur Heymans \u003carthur@aheymans.xyz\u003e\n"
    },
    {
      "commit": "4a1048266656f98415cbc294303a149803fd2717",
      "tree": "e3ef8b698ecaeb2c7509395bb5526d5a615d1f5c",
      "parents": [
        "ba37830467a686e2ab1d4d0133472c685cb3fa8d"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Jul 09 20:13:14 2017"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Aug 20 21:16:15 2017"
      },
      "message": "Add Div_Round_Up() for positive integer types\n\nAlso rewrite Div_Round_Closest() as expression functions.\n\nChange-Id: I9f4bb0f2f442510f821d367d8b11d14a4f697a7e\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.coreboot.org/20557\nReviewed-by: Stefan Reinauer \u003cstefan.reinauer@coreboot.org\u003e\nReviewed-by: Paul Menzel \u003cpaulepanter@users.sourceforge.net\u003e\n"
    },
    {
      "commit": "ba37830467a686e2ab1d4d0133472c685cb3fa8d",
      "tree": "52bba31ecb78ac7becb2ad6283fed4957e75d91c",
      "parents": [
        "def89ebc0588f05a7ff9b1f475ae974527bb1f0f"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Jul 09 16:56:24 2017"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Aug 20 21:16:12 2017"
      },
      "message": "Makefile: Install generated spec files too\n\nChange-Id: I514c621852f91c41f580fd53b295aeb7a5cb0cdd\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.coreboot.org/20555\nReviewed-by: Stefan Reinauer \u003cstefan.reinauer@coreboot.org\u003e\nReviewed-by: Paul Menzel \u003cpaulepanter@users.sourceforge.net\u003e\n"
    },
    {
      "commit": "def89ebc0588f05a7ff9b1f475ae974527bb1f0f",
      "tree": "a2c008b6eb57b6ab80f9a414636340b5c5a8756d",
      "parents": [
        "81294ed04949f0a2028796a8601825f0c6e8ac27"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Fri Aug 18 15:38:55 2017"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Aug 20 21:16:06 2017"
      },
      "message": "posix file: Add procedure to query the size of a file\n\nChange-Id: Ib3b31e90ca98dc09185463ce467a70770e0f222d\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.coreboot.org/21095\nReviewed-by: Arthur Heymans \u003carthur@aheymans.xyz\u003e\n"
    },
    {
      "commit": "81294ed04949f0a2028796a8601825f0c6e8ac27",
      "tree": "6c74acf39dbe8e8da2e41ad2c5ac246ebdef96ae",
      "parents": [
        "967dd0d48eb0f0c2bf57d58b887e691daea7bd1e"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Fri Aug 18 15:36:21 2017"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Aug 20 21:16:03 2017"
      },
      "message": "gnat.adc: Allow exception handlers in pure Ada code\n\nChange-Id: I5eb658f2ee0f55bb4f04da58e0e99bc9fc6780a5\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.coreboot.org/21094\nReviewed-by: Arthur Heymans \u003carthur@aheymans.xyz\u003e\n"
    },
    {
      "commit": "967dd0d48eb0f0c2bf57d58b887e691daea7bd1e",
      "tree": "ab589b49d2c2b00120dfb789095ca87f21a41a51",
      "parents": [
        "a43b1ee1c5aba43291a994ada9886278976e4140"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Jul 09 13:51:08 2017"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Aug 20 21:15:55 2017"
      },
      "message": "posix file: Add an `Offset` parameter and make `Len` optional\n\nGive Map() an `Offset` parameter that will be passed to mmap(). Make the\n`Len` parameter of Map() optional. If it\u0027s left at the default, `0`, map\nuntil the end of the file (up to SIZE_MAX bytes).\n\nChange-Id: I7b062ce1e9cddab87a66a2aedc8b64e4e8524d9f\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.coreboot.org/20553\nReviewed-by: Stefan Reinauer \u003cstefan.reinauer@coreboot.org\u003e\n"
    },
    {
      "commit": "a43b1ee1c5aba43291a994ada9886278976e4140",
      "tree": "dd9112dc92e23f0a371c24cf6f835402a18d8750",
      "parents": [
        "ef4545afbf2547d2a5548df3730beff6efa243ac"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Jul 09 13:40:25 2017"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Aug 20 21:15:33 2017"
      },
      "message": "posix file: Let the OS decide addresses to map to\n\nReverse the direction of the `Addr` parameter of Map(). We let mmap()\ndecide which address to use and return that. Given that we can set the\naddress for `MMIO_Range` instances during runtime, we shouldn\u0027t ever\nhave to force static addresses.\n\nChange-Id: I35bfd65e7b471daae4f43a9233ce613c7f45891e\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.coreboot.org/20552\nReviewed-by: Stefan Reinauer \u003cstefan.reinauer@coreboot.org\u003e\n"
    },
    {
      "commit": "ef4545afbf2547d2a5548df3730beff6efa243ac",
      "tree": "fe993918cefce4c1de5d2cc485ea7136aa381d1a",
      "parents": [
        "359e314ba97a211eec4bac4ea10b700852fbfd21"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Jun 18 00:58:40 2017"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sat Aug 19 00:24:45 2017"
      },
      "message": "pci: Add PCI device infrastructure\n\nAdd generic PCI packages:\n\no HW.PCI containing basic definitions for PCI devices and\n  configuration space headers,\no HW.PCI.MMConf that provides access to memory mapped confi-\n  guration space of a PCI device, and\no HW.PCI.Dev adding a method to map resources of a PCI device.\n\nChange-Id: I266ea35e273ff49fdb3176d617bb0b4ab1f13f93\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.coreboot.org/20258\nReviewed-by: Arthur Heymans \u003carthur@aheymans.xyz\u003e\n"
    },
    {
      "commit": "359e314ba97a211eec4bac4ea10b700852fbfd21",
      "tree": "fa8ecd5dbbb1af755f28d120dc978d93fa309d58",
      "parents": [
        "874113d29cc23fd247995d5c7bac0b115dddbc25"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Jul 09 17:03:06 2017"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sat Aug 19 00:24:42 2017"
      },
      "message": "Add HW.Config for configuration constants\n\nChange-Id: Id60c61fc53c6e153dcb3cf9f5c55668e38072817\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.coreboot.org/20556\nReviewed-by: Stefan Reinauer \u003cstefan.reinauer@coreboot.org\u003e\nReviewed-by: Paul Menzel \u003cpaulepanter@users.sourceforge.net\u003e\n"
    },
    {
      "commit": "874113d29cc23fd247995d5c7bac0b115dddbc25",
      "tree": "847b5c3d99cb14d69a2ce6f13bcf6eee3b75a0a5",
      "parents": [
        "32f1489253dde0a568653e277288d8e18dc6c388"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Jun 18 00:40:51 2017"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Wed Jul 12 23:14:29 2017"
      },
      "message": "time: Juggle with types for proof\n\nHelps with SPARK GPL 2017.\n\nChange-Id: Idc0a038b132438be13aef496c41d15300069ed02\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.coreboot.org/20257\nReviewed-by: Stefan Reinauer \u003cstefan.reinauer@coreboot.org\u003e\nTested-by: Stefan Reinauer \u003cstefan.reinauer@coreboot.org\u003e\nReviewed-by: Paul Menzel \u003cpaulepanter@users.sourceforge.net\u003e\n"
    },
    {
      "commit": "32f1489253dde0a568653e277288d8e18dc6c388",
      "tree": "f9ebad64044c7341e9a0f4c36f03fef69a648077",
      "parents": [
        "3bf6759dc09d27c06b3533fd536e667356853d3d"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Jun 18 00:35:37 2017"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Wed Jul 12 23:14:18 2017"
      },
      "message": "posix file: Match newer warning wording\n\nFor compatibility with GNAT GPL 2017.\n\nChange-Id: I1b4b914aa4964967b1c598ef5ca303410bd413ec\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.coreboot.org/20256\nReviewed-by: Stefan Reinauer \u003cstefan.reinauer@coreboot.org\u003e\nReviewed-by: Paul Menzel \u003cpaulepanter@users.sourceforge.net\u003e\n"
    },
    {
      "commit": "3bf6759dc09d27c06b3533fd536e667356853d3d",
      "tree": "8e182469e9b2f648ba02098e29ba9068721af07c",
      "parents": [
        "78ca582d1b1cc6b396afc2eca8ed6e8a3b5a823d"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Mar 05 22:27:53 2017"
      },
      "committer": {
        "name": "Stefan Reinauer",
        "email": "stefan.reinauer@coreboot.org",
        "time": "Tue Jun 06 16:03:57 2017"
      },
      "message": "gnat.adc: Remove restriction `No_Secondary_Stack`\n\nThis was only set to get more obvious error messages (i.e. restriction\nviolations instead of missing packages in the runtime environment).\nHowever, it doesn\u0027t play well with the standard interfaces for console\napplications. So remove the restriction to allow usage of the secondary\nstack where possible.\n\nChange-Id: Iceb64fe2b6f304e2e88b18cf3435fdbfda57440d\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.coreboot.org/18784\nReviewed-by: Stefan Reinauer \u003cstefan.reinauer@coreboot.org\u003e\n"
    },
    {
      "commit": "78ca582d1b1cc6b396afc2eca8ed6e8a3b5a823d",
      "tree": "e80c1c581fffd94e674871c4829d8da107b297ef",
      "parents": [
        "f43881fa25c2953efd1b529a5299a4813eaee29f"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Mar 05 12:51:49 2017"
      },
      "committer": {
        "name": "Stefan Reinauer",
        "email": "stefan.reinauer@coreboot.org",
        "time": "Tue Jun 06 16:03:05 2017"
      },
      "message": "Makefile: Compile binder\u0027s output w/o gnat config\n\nThe code generated by the binder (gnatbind) isn\u0027t always compilable\nwith the restrictions in our gnat configuration file `gnat.adc`. This\nis in accordance with how `gnatlink` would do the job.\n\nChange-Id: I59ea4a68749cabfb6cccdda1db4c23c6c0d5be60\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.coreboot.org/18782\nReviewed-by: Stefan Reinauer \u003cstefan.reinauer@coreboot.org\u003e\n"
    },
    {
      "commit": "f43881fa25c2953efd1b529a5299a4813eaee29f",
      "tree": "69fe42466331955db86b0203b1d4b3eb28ec85d7",
      "parents": [
        "9d5d025306db58c6b47c93b5151926a364dc5d84"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Mar 05 12:43:20 2017"
      },
      "committer": {
        "name": "Stefan Reinauer",
        "email": "stefan.reinauer@coreboot.org",
        "time": "Tue Jun 06 16:02:22 2017"
      },
      "message": "Makefile: Add support to bind/link application binaries\n\nSince Ada supports different names for the Main() procedure, we have to\nspecify the main source file explicitly. Also, the binder (gnatbind)\ninsists on searching the required object files himself, so we only spe-\ncify the object file of the main procedure.\n\nChange-Id: I7227b845e38963e5434a4db0068d373fc4b7ee99\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.coreboot.org/18781\nReviewed-by: Stefan Reinauer \u003cstefan.reinauer@coreboot.org\u003e\n"
    },
    {
      "commit": "9d5d025306db58c6b47c93b5151926a364dc5d84",
      "tree": "aff401a4749779778728ee12a43e67500802ba8d",
      "parents": [
        "f03ef4f2d47b9c2a14c62c3311fc24b0be01e90f"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Mar 05 12:37:48 2017"
      },
      "committer": {
        "name": "Stefan Reinauer",
        "email": "stefan.reinauer@coreboot.org",
        "time": "Tue Jun 06 16:00:23 2017"
      },
      "message": "Makefile: Remove -gnatg from ADAFLAGS\n\nThe `-gnatg` flag (internal GNAT implementation mode) was accidentally\ncopied over from the flags we use to build libgnat.\n\nChange-Id: I2e9c6d1d5b68168d1608187aad2eae5aead759f9\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.coreboot.org/18780\nReviewed-by: Patrick Georgi \u003cpgeorgi@google.com\u003e\n"
    },
    {
      "commit": "f03ef4f2d47b9c2a14c62c3311fc24b0be01e90f",
      "tree": "a4b99ee75e15823e76b11bcceda3f3ab7315e84c",
      "parents": [
        "e86fff93bdb438e61f27e58df0f2b3051666b5e7"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sat Mar 04 12:57:09 2017"
      },
      "committer": {
        "name": "Stefan Reinauer",
        "email": "stefan.reinauer@coreboot.org",
        "time": "Tue Jun 06 15:59:50 2017"
      },
      "message": "Add support to map the contents of a file\n\nAdd a package HW.File with a single procedure Map():\n\n   procedure Map\n     (Path     : in     String;\n      Addr     : in     Word64;\n      Len      : in     Natural;\n      Readable : in     Boolean :\u003d False;\n      Writable : in     Boolean :\u003d False;\n      Map_Copy : in     Boolean :\u003d False;\n      Success  :    out Boolean)\n   with\n      Pre \u003d\u003e (Readable or Writable) and\n             (if Map_Copy then Readable and not Writable);\n\nIf `Map_Copy` is `False`, it should map `Len` bytes from the start of\nthe file given by `Path` into the application\u0027s address space at `Addr`\nusing mmap(). If `Map_Copy` is `True`, anonymous memory should be map-\nped instead and be filled with a copy of the file\u0027s content using\nread().\n\nThe current implementation is backed by C code to reduce dependencies\nto external libraries (e.g. Florist is not packaged by a famous Linux\ndistro).\n\nWhile we are at it, also add a configuration file for common POSIX\nenvironments (configs/posix).\n\nChange-Id: Ic10c35b35d3216dab6a5b2baba7ba619c885b346\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.coreboot.org/18779\nReviewed-by: Stefan Reinauer \u003cstefan.reinauer@coreboot.org\u003e\n"
    },
    {
      "commit": "e86fff93bdb438e61f27e58df0f2b3051666b5e7",
      "tree": "73bd88b4bc90721d56039b671624848bc5e5c720",
      "parents": [
        "5f82d1ab9782935bbd4e8eda9454488d9d924895"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sat Mar 04 12:20:37 2017"
      },
      "committer": {
        "name": "Stefan Reinauer",
        "email": "stefan.reinauer@coreboot.org",
        "time": "Tue Jun 06 15:57:55 2017"
      },
      "message": "Makefile: Add simple compilation rule for C\n\nWe only use C as an interface (e.g. to POSIX). Thus, we keep the rules\nsimple and don\u0027t do any dependency tracking.\n\nChange-Id: I62b4b4e4d3ae83d5e1f1811f783b559b225746e6\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.coreboot.org/18778\nReviewed-by: Philippe Mathieu-Daudé \u003cphilippe.mathieu.daude@gmail.com\u003e\nReviewed-by: Patrick Georgi \u003cpgeorgi@google.com\u003e\n"
    },
    {
      "commit": "5f82d1ab9782935bbd4e8eda9454488d9d924895",
      "tree": "92b8276aa15efced1565483a25c9589f10f6e07e",
      "parents": [
        "cf01ab6e40ce7229cf6740fe1b7e0e107b396a23"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.huber@secunet.com",
        "time": "Mon May 08 12:14:21 2017"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Mon May 22 19:07:18 2017"
      },
      "message": "ada/dynamic_mmio: Drop unnecessary Volatile aspect\n\nThe access variable `Range_A` was accidentally declared `Volatile` which\nled to the following complaint by GCC 7.1:\n\n    volatile object cannot appear in this context (SPARK RM 7.1.3(11))\n\nThis happened probably to make `Range_A` compatible with our state\nabstraction, but we can just use the correct abstraction instead.\n\nTEST\u003dCompiled a coreboot target with libgfxinit and checked the\n     emitted assembly: Only minor reordering regarding the pointer\n     but not the dereference.\n     Booted ThinkPad T420 with libgfxinit enabled.\n\nChange-Id: I56a3fcadce59713fb03a089d192d2022bfb1d378\nSigned-off-by: Nico Huber \u003cnico.huber@secunet.com\u003e\nReviewed-on: https://review.coreboot.org/19624\nTested-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-by: Patrick Georgi \u003cpgeorgi@google.com\u003e\nReviewed-by: Philippe Mathieu-Daudé \u003cphilippe.mathieu.daude@gmail.com\u003e\n"
    },
    {
      "commit": "cf01ab6e40ce7229cf6740fe1b7e0e107b396a23",
      "tree": "4d2d7dde28cfcc674b0c1a1f282ad096454ac55f",
      "parents": [
        "868915fc4e3a32ce7734b52bf2afe7119d09ddc1"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Mar 05 22:22:39 2017"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Tue Mar 14 10:53:04 2017"
      },
      "message": "Makefile: Fix whitespace and syntax highlighting nits\n\nChange-Id: Id16ec035f4468f122f4ef3d5f6385252e428a0fc\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.coreboot.org/18783\nReviewed-by: Philippe Mathieu-Daudé \u003cphilippe.mathieu.daude@gmail.com\u003e\nReviewed-by: Martin Roth \u003cmartinroth@google.com\u003e\n"
    },
    {
      "commit": "868915fc4e3a32ce7734b52bf2afe7119d09ddc1",
      "tree": "c50dc44b8bcd0f940ff91b6172e3f1f1ba288888",
      "parents": [
        "b6641197dc51101115894d0d7f82feba5fce9011"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.huber@secunet.com",
        "time": "Mon Feb 13 14:28:58 2017"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Mon Feb 20 19:43:41 2017"
      },
      "message": "Makefile: Add support for out-of-tree sources\n\nChange-Id: If029c713a06a77aa8001cb4093806580086e3cbe\nSigned-off-by: Nico Huber \u003cnico.huber@secunet.com\u003e\nReviewed-on: https://review.coreboot.org/18358\nTested-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-by: Adrian-Ken Rueegsegger \u003cken@codelabs.ch\u003e\n"
    },
    {
      "commit": "b6641197dc51101115894d0d7f82feba5fce9011",
      "tree": "6456d043ac2f3732c37991d75ec2c3e1cc766716",
      "parents": [
        "a5c8ba24c1a8fc6e911d4eb35770d66e9dd55c63"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.huber@secunet.com",
        "time": "Mon Feb 13 14:27:30 2017"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Mon Feb 20 19:43:36 2017"
      },
      "message": "Add muen scheduling info as timer source\n\nThis is a very low precision clock. We just take the start of the cur-\nrent scheduling minor frame as the minimum, yet elapsed moment and the\nend of the frame as the maximum, yet reached moment in time. As a\nresult, every timer based delay will wait at least for the next minor\nframe.\n\nFor the build, `musinfo.ads` and `muschedinfo.ads` from the Muen\nproject are required. One should point the `muen-common-path` variable\nto the `common` subdir of the Muen source distribution.\n\nChange-Id: Ib139749214bf8d2ca293e31327b156de5198b65d\nSigned-off-by: Nico Huber \u003cnico.huber@secunet.com\u003e\nReviewed-on: https://review.coreboot.org/18357\nTested-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-by: Adrian-Ken Rueegsegger \u003cken@codelabs.ch\u003e\n"
    },
    {
      "commit": "a5c8ba24c1a8fc6e911d4eb35770d66e9dd55c63",
      "tree": "4649adb50dc1b2b3668f428e9e696d5cee5d062b",
      "parents": [
        "aab715f166bf1b54cfbd6982e8df49248ea544d8"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.huber@secunet.com",
        "time": "Thu Feb 09 15:35:33 2017"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Tue Feb 14 12:01:27 2017"
      },
      "message": "Add Div_Round_Closest() for positive integer types\n\nChange-Id: Ic8d398902947bf18d97c9ab3c6ca6204aa0629f0\nSigned-off-by: Nico Huber \u003cnico.huber@secunet.com\u003e\nReviewed-on: https://review.coreboot.org/18356\nReviewed-by: Arthur Heymans \u003carthur@aheymans.xyz\u003e\nReviewed-by: Paul Menzel \u003cpaulepanter@users.sourceforge.net\u003e\nTested-by: Nico Huber \u003cnico.h@gmx.de\u003e\n"
    },
    {
      "commit": "aab715f166bf1b54cfbd6982e8df49248ea544d8",
      "tree": "10ef0a0779a34e700764476dd6558204cb87b554",
      "parents": [
        "ded07e802febe7e1742bd81464888e5193537fdb"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.huber@secunet.com",
        "time": "Mon Oct 17 22:22:25 2016"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Thu Oct 20 11:05:03 2016"
      },
      "message": "Relicense libhwbase under GPL v2+\n\nChange-Id: Id91d759fa1f6691dbcd228730809064fc8305af2\nSigned-off-by: Nico Huber \u003cnico.huber@secunet.com\u003e\nReviewed-on: https://review.coreboot.org/17053\nReviewed-by: Paul Menzel \u003cpaulepanter@users.sourceforge.net\u003e\nReviewed-by: Stefan Reinauer \u003cstefan.reinauer@coreboot.org\u003e\nTested-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-by: Patrick Georgi \u003cpgeorgi@google.com\u003e\n"
    },
    {
      "commit": "ded07e802febe7e1742bd81464888e5193537fdb",
      "tree": "f47f6ce12e53bd71a6afc3ff54c83adb3f8bd0fc",
      "parents": [
        "f86fb18dab0f97040717e2b914f2aea63794192a"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Wed Oct 05 21:59:14 2016"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Thu Oct 20 11:04:47 2016"
      },
      "message": "Makefile.proof: Add all source files to the dependencies\n\nChange-Id: Ic1d19e4516bb20b9796ac02baee099e9df472ab5\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.coreboot.org/17021\nReviewed-by: Paul Menzel \u003cpaulepanter@users.sourceforge.net\u003e\nReviewed-by: Patrick Georgi \u003cpgeorgi@google.com\u003e\n"
    },
    {
      "commit": "f86fb18dab0f97040717e2b914f2aea63794192a",
      "tree": "908bec6dfb871ed07199e4bb6af174071b6b6cf0",
      "parents": [
        "5e9b1b50e7ac90f68ca2ea798ef656ac863c2851"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.huber@secunet.com",
        "time": "Sun Oct 09 18:43:42 2016"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Thu Oct 13 21:25:13 2016"
      },
      "message": "Makefile: Add a strip_quotes macro\n\nChange-Id: I465416dd8e4f92f9700253fc031a3933bba93f38\nSigned-off-by: Nico Huber \u003cnico.huber@secunet.com\u003e\nReviewed-on: https://review.coreboot.org/16962\nReviewed-by: Paul Menzel \u003cpaulepanter@users.sourceforge.net\u003e\nReviewed-by: Patrick Georgi \u003cpgeorgi@google.com\u003e\nTested-by: Patrick Georgi \u003cpgeorgi@google.com\u003e\n"
    },
    {
      "commit": "5e9b1b50e7ac90f68ca2ea798ef656ac863c2851",
      "tree": "4bdccf08b1b59035632f26a8853c8456e07b8fca",
      "parents": [],
      "author": {
        "name": "Nico Huber",
        "email": "nico.huber@secunet.com",
        "time": "Sat Oct 08 20:09:33 2016"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Oct 09 09:31:44 2016"
      },
      "message": "Initial upstream commit\n\nThe history contained unlicensed code so everything got squashed, sorry.\n\nChange-Id: Ie1335ecfcee7f740bb6de2e9887606be30a2deff\nSigned-off-by: Nico Huber \u003cnico.huber@secunet.com\u003e\n"
    }
  ]
}
