On Fri 2014-01-17 17:21:00, H. Peter Anvin wrote: > On 01/17/2014 04:29 PM, Pavel Machek wrote: > > > > Have you checked your dmesg recently? Normal people don't read > > it... it is just too much of it. > > > >> Printing a warning is appropriate if we can't actually fix the problem > >> in the OS. If we actually make the problem go away then we have just > >> done our job and we can be done with it. > > > > I disagree. Older kernel versions still may have problem, etc. > > > > We normally do print warnings for problems we work around. We want > > vendors to fix their hardware, too... > > > > ACPI BIOS Warning (bug): 32/64X FACS address mismatch in FADT - > > 0xBDB5FF40/0x00000000BDB64F40, using 32 (20131115/tbfadt-522) > > [Firmware Bug]: ACPI: BIOS _OSI(Linux) query ignored > > > > You say people don't read their dmesg... > ... because there is too much ... > ... so let's add more?
I'd say that proposed "your bios has a bug" is way more useful than stuff such as: pci_bus 0000:00: root bus resource [bus 00-ff] pci_bus 0000:00: root bus resource [io 0x0000-0x0cf7] pci_bus 0000:00: root bus resource [io 0x0d00-0xffff] pci_bus 0000:00: root bus resource [mem 0x000a0000-0x000bffff] pci_bus 0000:00: root bus resource [mem 0xc0000000-0xffffffff] pci 0000:00:00.0: [8086:2e30] type 00 class 0x060000 pci 0000:00:01.0: [8086:2e31] type 01 class 0x060400 pci 0000:00:01.0: PME# supported from D0 D3hot D3cold pci 0000:00:01.0: System wakeup disabled by ACPI pci 0000:00:02.0: [8086:2e32] type 00 class 0x030000 pci 0000:00:02.0: reg 0x10: [mem 0xd0000000-0xd03fffff 64bit] pci 0000:00:02.0: reg 0x18: [mem 0xc0000000-0xcfffffff 64bit pref] pci 0000:00:02.0: reg 0x20: [io 0xf140-0xf147] pci 0000:00:02.1: [8086:2e33] type 00 class 0x038000 pci 0000:00:02.1: reg 0x10: [mem 0xd0400000-0xd04fffff 64bit] pci 0000:00:1b.0: [8086:27d8] type 00 class 0x040300 pci 0000:00:1b.0: reg 0x10: [mem 0xd0600000-0xd0603fff 64bit] pci 0000:00:1b.0: PME# supported from D0 D3hot D3cold pci 0000:00:1c.0: [8086:27d0] type 01 class 0x060400 pci 0000:00:1c.0: PME# supported from D0 D3hot D3cold pci 0000:00:1c.0: System wakeup disabled by ACPI pci 0000:00:1c.1: [8086:27d2] type 01 class 0x060400 pci 0000:00:1c.1: PME# supported from D0 D3hot D3cold pci 0000:00:1c.1: System wakeup disabled by ACPI pci 0000:00:1d.0: [8086:27c8] type 00 class 0x0c0300 pci 0000:00:1d.0: reg 0x20: [io 0xf080-0xf09f] pci 0000:00:1d.0: System wakeup disabled by ACPI So yes. Lets add useful stuff. Pavel -- (english) http://www.livejournal.com/~pavelmachek (cesky, pictures) http://atrey.karlin.mff.cuni.cz/~pavel/picture/horses/blog.html -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/