)]}'
{
  "log": [
    {
      "commit": "3f37cce66ef8b36932db08a1fb5e6486647da308",
      "tree": "b14750a924f1384018f2b56854bb82a0803441a4",
      "parents": [
        "7e08e5d2803914af4e46280b558ec1307ead9031"
      ],
      "author": {
        "name": "Arthur Heymans",
        "email": "arthur@aheymans.xyz",
        "time": "Tue Mar 03 18:52:12 2026 +0100"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Jun 28 09:24:08 2026 +0000"
      },
      "message": "gma g45: Add support for Intel GM965 (Crestline)\n\nAdd GM965 as a new CPU type under the G45 generation. GM965 shares\nthe GMCH display architecture with G45/GM45 (no PCH, same connector\nregisters) but differs in PLL limits, VCO/CDClk tables, and register\nfield encoding.\n\nKey differences from G45/GM45:\n - PLL limits: Uses i9xx limits (VCO 1.4-2.8 GHz) instead of g4x\n   limits. Add I9XX_LVDS_Limits; refactor Calculate_Clock_Parameters\n   to take Limits as a parameter, with a new Select_Limits function.\n - VCO: Uses Crestline (CL) VCO tables with different frequencies\n   and divisors than GM45\u0027s Cantiga (CTG) tables.\n - CDClk: GCFGC register decoding uses bits 12:8 minus 1 (3 possible\n   divisor selections), unlike GM45\u0027s single bit 12.\n - No native DisplayPort (SDVO B/C only).\n - No HD Audio (G4X_AUD_VID_DID reads as 0).\n - Has integrated LVDS transmitter (mobile platform).\n - PCI IDs: 0x2a02 (I965_GM), 0x2a12 (I965_GME).\n\nAll implementation details cross-referenced against the Linux kernel\ni915 driver (intel_dpll.c, intel_cdclk.c, intel_display_device.c).\n\nChange-Id: I0d5d698cc1c2aa84778f0fc6c2752cb5ce4f1cb2\nSigned-off-by: Arthur Heymans \u003carthur@aheymans.xyz\u003e\nReviewed-on: https://review.sourcearcade.org/c/libgfxinit/+/499\nReviewed-by: Nico Huber \u003cnico.h@gmx.de\u003e\nTested-by: Nico Huber \u003cnico.h@gmx.de\u003e\n"
    },
    {
      "commit": "3652e9c5ace183f9cbaf6910d8aad6908a27231f",
      "tree": "3e9ec72ad288e354db74efbbf7d1efa55e865a2c",
      "parents": [
        "17cfc92f402493979783585b6581efbd98c0cf07"
      ],
      "author": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Sep 04 14:29:30 2022 +0000"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Wed Jul 17 16:01:31 2024 +0000"
      },
      "message": "gma: Work around GNATprove issue with nested loops\n\nAdd some explicit `Loop_Invariant (True)` to work around\nodd check messages. These show up since about the spark-\ncommunity-2019 release and still with newer versions,\nwhich almost seem to hang (takes some minutes longer than\nexpected). Example messages are provided below. Given that\nthe values are in the ranges as stated by the `for` loops,\nthey can\u0027t be out of range.\n\nhw-gfx-gma-plls.adb:323:14: medium: range check might fail\n  323 |         for M1 in reverse M1_Range range Limits.M1_Lower .. Limits.M1_Upper\n      |             ^~\n\nhw-gfx-gma-plls.adb:325:17: medium: range check might fail\n  325 |            for M2 in reverse M2_Range range Limits.M2_Lower .. Int64\u0027Min (Limits.M2_Upper, M1)\n      |                ^~\n\nhw-gfx-gma-plls.adb:327:20: medium: range check might fail\n  327 |               for P1 in reverse P1_Range range Limits.P1_Lower .. Limits.P1_Upper\n      |                   ^~\n\nhw-gfx-gma-plls.adb:332:41: medium: range check might fail\n  332 |                     M2              \u003d\u003e M2,\n      |                                        ^~\n  reason for check: input value must fit in parameter type\n\nChange-Id: I5430081767c760b85401300e0db4d26fd78270d7\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.coreboot.org/c/libgfxinit/+/68112\nReviewed-by: Angel Pons \u003cth3fanbus@gmail.com\u003e\n"
    },
    {
      "commit": "73ea03245445527a80b70e41cf4a910371014ca0",
      "tree": "210fafb8ff5631b2946bdd4511271293b2f8a27c",
      "parents": [
        "d5198445517c361b30f4521e52b953d2a7928a70"
      ],
      "author": {
        "name": "Arthur Heymans",
        "email": "arthur@aheymans.xyz",
        "time": "Wed Mar 28 17:17:07 2018 +0200"
      },
      "committer": {
        "name": "Nico Huber",
        "email": "nico.h@gmx.de",
        "time": "Sun Jun 03 20:33:18 2018 +0000"
      },
      "message": "gma: Add G45 support\n\nThe following ports are implemented: HDMI/DVI, VGA, LVDS and DP.\n\nTested with gfx_test and coreboot on a Thinkpad X200 (GM45).\n\nChange-Id: Ifc05a1516329a61772af84558e5bfceb4d4ca277\nSigned-off-by: Arthur Heymans \u003carthur@aheymans.xyz\u003e\nReviewed-on: https://review.coreboot.org/21295\nReviewed-by: Nico Huber \u003cnico.h@gmx.de\u003e\nTested-by: Nico Huber \u003cnico.h@gmx.de\u003e\n"
    }
  ]
}