J. Mayer wrote: > Hi, > > This is a proposal to allow the user to select a BIOS file name on the > command line. The goal is mainly to ease debug, for example when I want > to try to run a firmware comming from a real machine instead of the > default one. > The only change is to add a -bios <filename> option, use the given file > if any or use the default if none were given. > Maybe the options would be better named as -biosfile.... Or it maybe a > good idea to give a full path, not to concatenate the given name with > the bios_dir prefix... > Some may find this option is not so useful, as one can specify a > directory to find the target BIOS. But I feel more confortable keeping > all BIOS images together at the same place.
I welcome this, especially since the various mips machine emulations may have several alternative BIOS implementations soon. Thiemo
