+
+config CONSOLE_SERIAL_115200
+ bool "115200"
+ help
+ Set serial port BAUD rate to 115200.
+config CONSOLE_SERIAL_57600
+ bool "57600"
+ help
+ Set serial port BAUD rate to 57600.
+config CONSOLE_SERIAL_38400
+ bool "38400"
+ help
+ Set serial port BAUD rate to 38400.
+config CONSOLE_SERIAL_19200
+ bool "19200"
+ help
+ Set serial port BAUD rate to 19200.
+config CONSOLE_SERIAL_9600
+ bool "9600"
+ help
+ Set serial port BAUD rate to 9600.
+
+endchoice
+
+config TTYS0_BAUD
+ int
+ default 115200 if CONSOLE_SERIAL_115200
+ default 57600 if CONSOLE_SERIAL_57600
+ default 38400 if CONSOLE_SERIAL_38400
+ default 19200 if CONSOLE_SERIAL_19200
+ default 9600 if CONSOLE_SERIAL_9600
+ help
+ Map the BAUD rates to an integer.