gdbstub: Add custom backend choice
By default `GDBSTUB_SERIAL_BACKEND` will be selected as it's the only option here. This can cause problems for code that wants to provide its own custom backend. Add a choice for a custom backend. Signed-off-by: Robert Zieba <robertzieba@google.com>
This commit is contained in:
parent
e61e6a4092
commit
dca836b9b1
1 changed files with 5 additions and 0 deletions
|
|
@ -414,6 +414,11 @@ config GDBSTUB_SERIAL_BACKEND
|
|||
help
|
||||
Use serial as backend for GDB
|
||||
|
||||
config GDBSTUB_CUSTOM_BACKEND
|
||||
bool "Use a custom backend"
|
||||
help
|
||||
Use a custom backend for GDB
|
||||
|
||||
endchoice
|
||||
|
||||
config GDBSTUB_BUF_SZ
|
||||
|
|
|
|||
Loading…
Reference in a new issue