boards: raspberrypi-pico: Adjust CONFIG_UART0_TXBUFSIZE for SMP

Summary:
- I noticed that sometimes automatic tests failed due to
  missing serial outputs, although the kernel is still alive.
- This commit fixes the issue.

Impact:
- raspberrypi-pico:smp only

Testing:
- Tested with smp, ostest, etc.

Signed-off-by: Masayuki Ishikawa <Masayuki.Ishikawa@jp.sony.com>
This commit is contained in:
Masayuki Ishikawa 2022-10-05 09:16:14 +09:00 committed by Xiang Xiao
parent c4901d6f4b
commit 72a29f3fa8

View File

@ -52,3 +52,4 @@ CONFIG_TESTING_GETPRIME=y
CONFIG_TESTING_OSTEST=y
CONFIG_TESTING_SMP=y
CONFIG_UART0_SERIAL_CONSOLE=y
CONFIG_UART0_TXBUFSIZE=384