menu "Console options"

config SERIAL_CONSOLE
	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 SERIAL_CONSOLE
	default 0x3f8

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

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
	default n

config MAXIMUM_CONSOLE_LOGLEVEL
	int
	default 9

config DEFAULT_CONSOLE_LOGLEVEL
	int
	default 9

endmenu