| # Kconfig SeaBIOS configuration | |
| mainmenu "SeaBIOS Configuration" | |
| config COREBOOT | |
| bool "Configure as a coreboot payload." | |
| default n | |
| config DEBUG_LEVEL | |
| int "Control how verbose debug output is." | |
| default 1 | |
| config DEBUG_SERIAL | |
| bool "Send debugging information to serial port" | |
| default n | |
| config VGAHOOKS | |
| bool "Support bios callbacks specific to via vgabios." | |
| default n |