| ## |
| ## Copyright 2016 Google Inc. All rights reserved. |
| ## |
| ## This program is free software; you can redistribute it and/or modify |
| ## it under the terms of the GNU General Public License as published by |
| ## the Free Software Foundation; version 2 of the License. |
| ## |
| ## This program is distributed in the hope that it will be useful, |
| ## but WITHOUT ANY WARRANTY; without even the implied warranty of |
| ## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| ## GNU General Public License for more details. |
| ## |
| ## You should have received a copy of the GNU General Public License |
| ## along with this program; if not, write to the Free Software |
| ## Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA |
| |
| config DRIVER_CONSOLE_CBMEM |
| bool "Provide a console which stores log messages in memory" |
| default n |
| |
| config DRIVER_CONSOLE_CBMEM_SIZE |
| int "Default CBMEM buffer size" |
| default 8192 |
| |
| config DRIVER_CONSOLE_DISPLAY |
| bool "Provide a console on the display device" |
| default n |
| |
| config DRIVER_CONSOLE_UART |
| bool "Provide a console over the debug UART" |
| default n |
| |
| config DRIVER_CONSOLE_UEFI |
| bool "Provide a console which calls back into UEFI" |
| default n |
| |
| |
| config SERIAL_SET_SPEED |
| bool "Override the serial console baud rate" |
| default n |
| depends on DRIVER_CONSOLE_UART |
| |
| config SERIAL_BAUD_RATE |
| int "Serial console baud rate (default 115200)" |
| depends on SERIAL_SET_SPEED |
| default 115200 |
