Support generation of ACPI tables.
endmenu
-menu "VGA ROM"
- choice
- prompt "VGA Hardware Type"
- default NO_VGABIOS
-
- config NO_VGABIOS
- bool "None"
- help
- Do not build a VGA BIOS.
-
- config VGA_STANDARD_VGA
- bool "Standard VGA"
- help
- Build basic VGA BIOS support.
-
- config VGA_CIRRUS
- bool "QEMU Cirrus CLGD 54xx VGA BIOS"
- help
- Build support for Cirrus VGA emulation.
-
- config VGA_BOCHS
- bool "Bochs DISPI interface VGA BIOS"
- help
- Build support for Bochs DISPI interface.
-
- config VGA_GEODEGX2
- bool "GeodeGX2 interface VGA BIOS"
- help
- Build support for Geode GX2 vga.
-
- config VGA_GEODELX
- bool "GeodeLX interface VGA BIOS"
- help
- Build support for Geode LX vga.
- endchoice
-
- config BUILD_VGABIOS
- bool
- default !NO_VGABIOS
-
- config VGA_PCI
- depends on BUILD_VGABIOS
- bool "PCI ROM Headers"
- default y
- help
- Build PCI ROM headers so the vga rom can be extracted from
- a PCI device.
-
- config OVERRIDE_PCI_ID
- depends on VGA_PCI
- bool "Override PCI Vendor and Device IDs"
- help
- Specify specific values for the PCI Vendor and Device IDs.
-
- config VGA_VID
- depends on VGA_PCI
- hex
- prompt "PCI Vendor ID" if OVERRIDE_PCI_ID
- default 0x1013 if VGA_CIRRUS
- default 0x1234 if VGA_BOCHS
- default 0x100b if VGA_GEODEGX2
- default 0x1022 if VGA_GEODELX
- default 0x0000
- help
- Vendor ID for the PCI ROM
-
- config VGA_DID
- depends on VGA_PCI
- hex
- prompt "PCI Vendor ID" if OVERRIDE_PCI_ID
- default 0x00b8 if VGA_CIRRUS
- default 0x1111 if VGA_BOCHS
- default 0x0030 if VGA_GEODEGX2
- default 0x2081 if VGA_GEODELX
- default 0x0000
- help
- Device ID for the PCI ROM
-endmenu
+source ../vgasrc/Kconfig
menu "Debugging"
config DEBUG_LEVEL