1# Copyright (c) 2020 Intel Corporation.
2# SPDX-License-Identifier: Apache-2.0
3
4menuconfig GDBSTUB
5	bool "GDB remote serial protocol support [EXPERIMENTAL]"
6	depends on ARCH_HAS_GDBSTUB
7	select UART_USE_RUNTIME_CONFIGURE
8	select EXPERIMENTAL
9	help
10	  This option enable support the target using GDB, or any other
11	  application that supports GDB protocol.
12
13if GDBSTUB
14
15choice
16	prompt "GDB backend"
17
18config GDBSTUB_SERIAL_BACKEND
19	bool "Use serial backend"
20	depends on SERIAL
21	help
22	  Use serial as backend for GDB
23
24config GDBSTUB_CUSTOM_BACKEND
25	bool "Use a custom backend"
26	help
27	  Use a custom backend for GDB
28
29endchoice
30
31config GDBSTUB_BUF_SZ
32	int "GDB backend send/receive buffer size (in bytes)"
33	default 256
34	help
35	  This specifies the size (in bytes) of the send/receive buffer
36	  for GDB backend. This needs to be big enough to hold one
37	  full GDB packet at a time.
38
39config GDBSTUB_TRACE
40	bool "GDB backend extra logging"
41	help
42	  Enable extra debug logging for the GDB backend, including
43	  breakpoint interrupts and remote commands it receives.
44
45endif # GDBSTUB
46