menu "Console options"

config CONSOLE_SERIAL8250
	#TODO Rename to SERIAL_CONSOLE once Kconfig transition is complete.
	bool "See output on the serial port console"
	default y

config SERIAL_POST
	bool "See POST output on the serial port console"
	default n

config TTYS0_BASE
	hex "I/O base for the serial port"
	depends on CONSOLE_SERIAL8250
	default 0x3f8

config SERIAL_SET_SPEED
	bool "Override the serial console BAUD rate"
	default y
	depends on CONSOLE_SERIAL8250

config TTYS0_BAUD
	int "Serial console BAUD rate"
	depends on SERIAL_SET_SPEED
	default 115200

config USBDEBUG_DIRECT
	bool "USB debug dongle support. Not supported on all chipsets."
	default n
	# TODO: FIX DEPENDENCY HERE

config CONSOLE_VGA
	bool "Use VGA console, once initialized."
	default n

config CONSOLE_VGA_ONBOARD_AT_FIRST
	bool "Use onboard VGA as primary"
	default n
	help
	  If not selected, the last adapter found will be used.

config MAXIMUM_CONSOLE_LOGLEVEL
	int "Maximum console loglevel"
	default 9

config DEFAULT_CONSOLE_LOGLEVEL
	int "Default console loglevel"
	default 9

endmenu