menu "Console Options"

config SERIAL_CONSOLE
	bool "See output on the serial port console"
	default y

config TTYS0_BASE
	hex "I/O base for the serial port (default 0x3f8)"
	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 (default 115200)"
	depends on SERIAL_SET_SPEED
	default 115200

config USBDEBUG_DIRECT
	bool "Support a USB debug dongle. Not supported on all chipsets. FIX DEPENDENCY HERE"
	default n

config CONSOLE_VGA
	bool
	default n

config MAXIMUM_CONSOLE_LOGLEVEL
	int
	default 9

config DEFAULT_CONSOLE_LOGLEVEL
	int
	default 9

endmenu