On Tue, 26 May 2009 14:49:42 +0200, Stefan Reinauer stepan@coresystems.de wrote:
See patch. The subject is a bit misleading, since we never used vm86 mode in coreboot.
Should we rename the option CONFIG_PCI_OPTION_ROM_RUN_VM86 to CONFIG_PCI_OPTION_ROM_RUN_X86 ?