1 # Kconfig SeaBIOS configuration
3 mainmenu "SeaBIOS Configuration"
5 bool "Configure as a coreboot payload."
8 int "Control how verbose debug output is."
11 bool "Send debugging information to serial port"
14 bool "Support bios callbacks specific to via vgabios."