28 Apr
2012
28 Apr
'12
12:59 p.m.
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 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.
Luc Verhaegen.