bug#28578: xorg not starting on x200 due to recent commit

[Mark H Weaver <mhw@netris.org>]

Danny Milosavljevic <dannym@scratchpost.org> writes:

> (Does anyone mind
>> pasting their equivalent lspci output who's saying "it works for me" on
>> an x200?  I wonder if we can find the soruce of the difference.)
>
> 00:00.0 Host bridge: Intel Corporation Mobile 4 Series Chipset Memory Controller Hub (rev 07)
> 00:02.0 VGA compatible controller: Intel Corporation Mobile 4 Series Chipset Integrated Graphics Controller (rev 07)
> 00:02.1 Display controller: Intel Corporation Mobile 4 Series Chipset Integrated Graphics Controller (rev 07)
>
> X works fine here...

X also works fine on my X200 running GuixSD, although I confess I've not
yet gotten around to reflashing Libreboot on this machine since I had to
replace its motherboard some months ago.  I'm not sure if the use of
Libreboot is relevant to this issue, but I would not rule out that
possibility, since both Libreboot and the X200 proprietary BIOS perform
early initialization of the graphics hardware.

Here's the relevant excerpt of my lspci output:

00:00.0 Host bridge: Intel Corporation Mobile 4 Series Chipset Memory Controller Hub (rev 07)
00:02.0 VGA compatible controller: Intel Corporation Mobile 4 Series Chipset Integrated Graphics Controller (rev 07)
00:02.1 Display controller: Intel Corporation Mobile 4 Series Chipset Integrated Graphics Controller (rev 07)

Does the lspci output look different for your X200?

       Mark