| 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" |
| 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 |
| |
| |