uses CONFIG_CONSOLE_VGA
uses CONFIG_COMPRESSED_PAYLOAD_LZMA
uses CONFIG_IOAPIC
+uses CONFIG_PCI_OPTION_ROM_RUN_VM86
uses CONFIG_PCI_ROM_RUN
uses CONFIG_ROM_PAYLOAD
uses CONFIG_ROM_PAYLOAD_START
default HAVE_OPTION_TABLE = 0
default CONFIG_CONSOLE_VGA = 0
default CONFIG_PCI_ROM_RUN = 0
+default CONFIG_PCI_OPTION_ROM_RUN_VM86 = 0
default CONFIG_VIDEO_MB = 0
default STACK_SIZE = 0x2000
default HEAP_SIZE = 0x4000
uses CONFIG_CONSOLE_VGA
uses CONFIG_COMPRESSED_PAYLOAD_LZMA
uses CONFIG_IOAPIC
+uses CONFIG_PCI_OPTION_ROM_RUN_VM86
uses CONFIG_PCI_ROM_RUN
uses CONFIG_ROM_PAYLOAD
uses CONFIG_ROM_PAYLOAD_START
default HAVE_OPTION_TABLE = 0
default CONFIG_CONSOLE_VGA = 0
default CONFIG_PCI_ROM_RUN = 0
+default CONFIG_PCI_OPTION_ROM_RUN_VM86 = 0
default CONFIG_VIDEO_MB = 0
default STACK_SIZE = 0x2000
default HEAP_SIZE = 0x4000
##
option CONFIG_CONSOLE_VGA = 1
option CONFIG_PCI_ROM_RUN = 1
+option CONFIG_PCI_OPTION_ROM_RUN_VM86 = 1
##
## Choose the amount of memory pre-allocated for VGA
##
option CONFIG_CONSOLE_VGA = 1
option CONFIG_PCI_ROM_RUN = 1
+option CONFIG_PCI_OPTION_ROM_RUN_VM86 = 1
##
## Choose the amount of memory pre-allocated for VGA