April 28, 2012
10:59 a.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.