On Tue, 26 May 2009 14:49:42 +0200, Stefan Reinauer <[email protected]>
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 ? 
-- 
Thanks,
Joseph Smith
Set-Top-Linux
www.settoplinux.org


-- 
coreboot mailing list: [email protected]
http://www.coreboot.org/mailman/listinfo/coreboot

Reply via email to