Messages in this thread | | | Date | Mon, 11 Oct 1999 01:25:53 -0400 | From | Alex Nicolaou <> | Subject | Re: 2.3.20 will not boot (PCI problem) |
| |
Linus Torvalds wrote:
> Martin, let's just change the defaults: NOT call the BIOS by default (and > maybe have a kernel command line to say "pciirq=bios" for the two people > who need it and have a working BIOS) because I'll bet this is not going to > be the only report on machines not booting when more people start testing. > And it's not as we got the interrupt numbes wrong by just looking them up > by hand. > > Getting a irq wrong occasionally is better than crashing mysteriously at > boot. A device may not work, but at least it is a lot more debuggable. And > it's probably (almost certainly) more likely that there are more broken > 32-bit BIOS interfaces than there are broken machines where we have > trouble guessing the irq number without the BIOS.
Why not do it both ways? If the BIOS and the kernel disagree, log a message about the problem to the console, and use the kernel's result. Since this is a boot-time issue only, the overhead is irrelevant, and having a message about it will make it easier to debug for those for whom the kernel's method is incorrect.
alex
- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.rutgers.edu Please read the FAQ at http://www.tux.org/lkml/
| |