Support generation of ACPI tables.
endmenu
-menu "VGA ROM"
- config VGA_CIRRUS
- bool "QEMU Cirrus CLGD 54xx VGA BIOS"
- default n
- help
- Build support for Cirrus VGA emulation.
-
- config VGA_BOCHS
- bool "Bochs DISPI interface VGA BIOS"
- default n
- help
- Build support for Bochs DISPI interface
-
- config VGA_GEODELX
- bool "GeodeLX interface VGA BIOS"
- default n
- help
- Build support for Geode vga
-
- config VGA_PCI
- bool "PCI ROM Headers"
- default y
- help
- Build PCI ROM headers so the vga rom can be extracted from
- a PCI device.
-
- config VGA_VID
- depends on VGA_PCI
- hex "PCI Vendor ID"
- default 0x1013 if VGA_CIRRUS
- default 0x1234 if VGA_BOCHS
- default 0x1022 if VGA_GEODELX
- default 0x0000
- help
- Vendor ID for the PCI ROM
-
- config VGA_DID
- depends on VGA_PCI
- hex "PCI Device ID"
- default 0x00b8 if VGA_CIRRUS
- default 0x1111 if VGA_BOCHS
- default 0x2081 if VGA_GEODELX
- default 0x0000
- help
- Device ID for the PCI ROM
-endmenu
+source ../vgasrc/Kconfig
menu "Debugging"
config DEBUG_LEVEL
default 0x3f8
help
Base port for serial - generally 0x3f8, 0x2f8, 0x3e8, or 0x2e8.
+
+ config DEBUG_IO
+ depends on !COREBOOT && DEBUG_LEVEL != 0
+ bool "Special IO port debugging"
+ default y
+ help
+ Some emulators or hypervisors provide with a way to output debug
+ information by outputing strings in a special port present in the
+ IO space.
+
+ config DEBUG_IO_PORT
+ depends on DEBUG_IO
+ hex "Debug IO port address"
+ default 0x0402
+ help
+ Bochs uses the 0x0402 address by default, whereas Xen
+ makes the 0xe9 IO address available for guests use.
endmenu