)]}'
{
  "log": [
    {
      "commit": "a60324f0529adc568c2183f6a3a49ae44db54af5",
      "tree": "781c7d6e38a57cb92f474365e6f6dfdf453051c7",
      "parents": [
        "637f2a4f21ead8ccc45d5256834eb27ce72088db"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.huber@secunet.com",
        "time": "Mon Jun 04 12:56:25 2018 +0200"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Mon May 06 16:12:34 2019 +0000"
      },
      "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 23:40:30 2018 +0200"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sat May 19 20:37:51 2018 +0000"
      },
      "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 20:04:30 2017 +0200"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Wed Aug 30 15:14:20 2017 +0000"
      },
      "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 23:44:21 2017 +0200"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Tue Aug 29 09:46:36 2017 +0000"
      },
      "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 20:02:19 2017 +0200"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Mon Aug 28 20:17:18 2017 +0000"
      },
      "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 16:23:04 2017 +0200"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Mon Aug 21 10:52:56 2017 +0000"
      },
      "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 15:25:41 2017 +0200"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Mon Aug 21 10:52:50 2017 +0000"
      },
      "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": "Thu Jul 13 00:08:21 2017 +0200"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Aug 20 21:16:20 2017 +0000"
      },
      "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 22:13:14 2017 +0200"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Aug 20 21:16:15 2017 +0000"
      },
      "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 18:56:24 2017 +0200"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Aug 20 21:16:12 2017 +0000"
      },
      "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 17:38:55 2017 +0200"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Aug 20 21:16:06 2017 +0000"
      },
      "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 17:36:21 2017 +0200"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Aug 20 21:16:03 2017 +0000"
      },
      "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 15:51:08 2017 +0200"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Aug 20 21:15:55 2017 +0000"
      },
      "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 15:40:25 2017 +0200"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Aug 20 21:15:33 2017 +0000"
      },
      "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 02:58:40 2017 +0200"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sat Aug 19 00:24:45 2017 +0000"
      },
      "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 19:03:06 2017 +0200"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sat Aug 19 00:24:42 2017 +0000"
      },
      "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 02:40:51 2017 +0200"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Wed Jul 12 23:14:29 2017 +0000"
      },
      "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 02:35:37 2017 +0200"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Wed Jul 12 23:14:18 2017 +0000"
      },
      "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 23:27:53 2017 +0100"
      },
      "committer": {
        "name": "Stefan Reinauer",
        "email": "stefan.reinauer@coreboot.org",
        "time": "Tue Jun 06 18:03:57 2017 +0200"
      },
      "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 13:51:49 2017 +0100"
      },
      "committer": {
        "name": "Stefan Reinauer",
        "email": "stefan.reinauer@coreboot.org",
        "time": "Tue Jun 06 18:03:05 2017 +0200"
      },
      "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 13:43:20 2017 +0100"
      },
      "committer": {
        "name": "Stefan Reinauer",
        "email": "stefan.reinauer@coreboot.org",
        "time": "Tue Jun 06 18:02:22 2017 +0200"
      },
      "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 13:37:48 2017 +0100"
      },
      "committer": {
        "name": "Stefan Reinauer",
        "email": "stefan.reinauer@coreboot.org",
        "time": "Tue Jun 06 18:00:23 2017 +0200"
      },
      "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 13:57:09 2017 +0100"
      },
      "committer": {
        "name": "Stefan Reinauer",
        "email": "stefan.reinauer@coreboot.org",
        "time": "Tue Jun 06 17:59:50 2017 +0200"
      },
      "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 13:20:37 2017 +0100"
      },
      "committer": {
        "name": "Stefan Reinauer",
        "email": "stefan.reinauer@coreboot.org",
        "time": "Tue Jun 06 17:57:55 2017 +0200"
      },
      "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 14:14:21 2017 +0200"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Mon May 22 21:07:18 2017 +0200"
      },
      "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 23:22:39 2017 +0100"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Tue Mar 14 11:53:04 2017 +0100"
      },
      "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 15:28:58 2017 +0100"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Mon Feb 20 20:43:41 2017 +0100"
      },
      "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 15:27:30 2017 +0100"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Mon Feb 20 20:43:36 2017 +0100"
      },
      "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 16:35:33 2017 +0100"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Tue Feb 14 13:01:27 2017 +0100"
      },
      "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": "Tue Oct 18 00:22:25 2016 +0200"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Thu Oct 20 13:05:03 2016 +0200"
      },
      "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 23:59:14 2016 +0200"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Thu Oct 20 13:04:47 2016 +0200"
      },
      "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 20:43:42 2016 +0200"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Thu Oct 13 23:25:13 2016 +0200"
      },
      "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 22:09:33 2016 +0200"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Oct 09 11:31:44 2016 +0200"
      },
      "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"
    }
  ]
}