Start using Kconfig to configure SeaBIOS settings.
[seabios.git] / src / Kconfig
1 # Kconfig SeaBIOS configuration
2
3 mainmenu "SeaBIOS Configuration"
4     config COREBOOT
5       bool "Configure as a coreboot payload."
6       default n
7     config DEBUG_LEVEL
8       int "Control how verbose debug output is."
9       default 1
10     config DEBUG_SERIAL
11       bool "Send debugging information to serial port"
12       default n
13     config VGAHOOKS
14       bool "Support bios callbacks specific to via vgabios."
15       default n