rename the option CONFIG_PCI_OPTION_ROM_RUN_VM86 to CONFIG_PCI_OPTION_ROM_RUN_REALMODE.
[coreboot.git] / targets / rca / rm4100 /
drwxr-xr-x   ..
-rw-r--r-- 1122 Config-abuild.lb
-rw-r--r-- 1990 Config.lb