On Sat, 28 Apr 2012 12:59:59 +0200 Luc Verhaegen libv@skynet.be wrote:
On Sat, Apr 28, 2012 at 12:50:19PM +0200, Stefan Tauner wrote:
On Sat, 28 Apr 2012 02:25:02 +0200 Luc Verhaegen libv@skynet.be wrote:
Surely a specific board name can still be provided on the command line for horribly broken bioses like this?
yes, thanks for the suggestion. apparently i forgot that alternative.
i have committed the resulting board enable patch in r1566.
I am not sure anymore how much information one has to provide still though, it's been quite a while. I think pci device ids only, no board ids, so that not every command line provided board name is accepted.
device ids are mandatory, subsystem ids are not checked atm (for non-autodetected boards), but i have left them in anyway. the dmi string is also not checked at all in this case... ill take a look at refactoring the involved functions and the looooong comment explaining all that soon-ish.